package com.faceunity;

import java.security.MessageDigest;
import java.security.NoSuchAlgorithmException;

public class authpack {
	public static int sha1_32(byte[] buf){int ret=0;try{byte[] digest=MessageDigest.getInstance("SHA1").digest(buf);return ((int)(digest[0]&0xff)<<24)+((int)(digest[1]&0xff)<<16)+((int)(digest[2]&0xff)<<8)+((int)(digest[3]&0xff)<<0);}catch(Exception e){}return ret;}
	public static byte[] A(){
		byte[] buf=new byte[1253];
		int i=0;
		for(i=-78;i<-64;i++){ buf[0]=(byte)i; if(sha1_32(buf)==311928154){break;} }
		for(i=-11;i<11;i++){ buf[1]=(byte)i; if(sha1_32(buf)==-618797394){break;} }
		for(i=-30;i<-17;i++){ buf[2]=(byte)i; if(sha1_32(buf)==-224653583){break;} }
		for(i=104;i<128;i++){ buf[3]=(byte)i; if(sha1_32(buf)==1565299093){break;} }
		for(i=119;i<128;i++){ buf[4]=(byte)i; if(sha1_32(buf)==786311901){break;} }
		for(i=63;i<82;i++){ buf[5]=(byte)i; if(sha1_32(buf)==1815223254){break;} }
		for(i=22;i<37;i++){ buf[6]=(byte)i; if(sha1_32(buf)==606915585){break;} }
		for(i=-128;i<-118;i++){ buf[7]=(byte)i; if(sha1_32(buf)==659292942){break;} }
		for(i=41;i<59;i++){ buf[8]=(byte)i; if(sha1_32(buf)==830379801){break;} }
		for(i=-44;i<-24;i++){ buf[9]=(byte)i; if(sha1_32(buf)==550416529){break;} }
		for(i=43;i<58;i++){ buf[10]=(byte)i; if(sha1_32(buf)==1704384341){break;} }
		for(i=-71;i<-59;i++){ buf[11]=(byte)i; if(sha1_32(buf)==-154254748){break;} }
		for(i=60;i<78;i++){ buf[12]=(byte)i; if(sha1_32(buf)==-1651829440){break;} }
		for(i=-128;i<-117;i++){ buf[13]=(byte)i; if(sha1_32(buf)==332010746){break;} }
		for(i=98;i<117;i++){ buf[14]=(byte)i; if(sha1_32(buf)==668445066){break;} }
		for(i=-33;i<-15;i++){ buf[15]=(byte)i; if(sha1_32(buf)==-1440359671){break;} }
		for(i=-40;i<-20;i++){ buf[16]=(byte)i; if(sha1_32(buf)==811738132){break;} }
		for(i=-36;i<-28;i++){ buf[17]=(byte)i; if(sha1_32(buf)==647842030){break;} }
		for(i=77;i<85;i++){ buf[18]=(byte)i; if(sha1_32(buf)==2082643213){break;} }
		for(i=19;i<30;i++){ buf[19]=(byte)i; if(sha1_32(buf)==-1013655984){break;} }
		for(i=-128;i<-121;i++){ buf[20]=(byte)i; if(sha1_32(buf)==1737042192){break;} }
		for(i=95;i<111;i++){ buf[21]=(byte)i; if(sha1_32(buf)==-949800716){break;} }
		for(i=74;i<87;i++){ buf[22]=(byte)i; if(sha1_32(buf)==-274141020){break;} }
		for(i=64;i<71;i++){ buf[23]=(byte)i; if(sha1_32(buf)==1359364261){break;} }
		for(i=12;i<29;i++){ buf[24]=(byte)i; if(sha1_32(buf)==-860238949){break;} }
		for(i=-27;i<-18;i++){ buf[25]=(byte)i; if(sha1_32(buf)==114219180){break;} }
		for(i=-50;i<-42;i++){ buf[26]=(byte)i; if(sha1_32(buf)==1340123433){break;} }
		for(i=-2;i<22;i++){ buf[27]=(byte)i; if(sha1_32(buf)==1145888969){break;} }
		for(i=14;i<20;i++){ buf[28]=(byte)i; if(sha1_32(buf)==-1860083414){break;} }
		for(i=104;i<122;i++){ buf[29]=(byte)i; if(sha1_32(buf)==344499564){break;} }
		for(i=-17;i<-5;i++){ buf[30]=(byte)i; if(sha1_32(buf)==1815627610){break;} }
		for(i=13;i<29;i++){ buf[31]=(byte)i; if(sha1_32(buf)==-507304039){break;} }
		for(i=105;i<128;i++){ buf[32]=(byte)i; if(sha1_32(buf)==1168198507){break;} }
		for(i=-61;i<-54;i++){ buf[33]=(byte)i; if(sha1_32(buf)==1309052059){break;} }
		for(i=-80;i<-60;i++){ buf[34]=(byte)i; if(sha1_32(buf)==-857439773){break;} }
		for(i=-92;i<-71;i++){ buf[35]=(byte)i; if(sha1_32(buf)==-538125022){break;} }
		for(i=-122;i<-99;i++){ buf[36]=(byte)i; if(sha1_32(buf)==-962011120){break;} }
		for(i=26;i<52;i++){ buf[37]=(byte)i; if(sha1_32(buf)==-1186505571){break;} }
		for(i=98;i<103;i++){ buf[38]=(byte)i; if(sha1_32(buf)==956698541){break;} }
		for(i=34;i<49;i++){ buf[39]=(byte)i; if(sha1_32(buf)==185062057){break;} }
		for(i=-48;i<-25;i++){ buf[40]=(byte)i; if(sha1_32(buf)==-1984838042){break;} }
		for(i=106;i<128;i++){ buf[41]=(byte)i; if(sha1_32(buf)==-985200656){break;} }
		for(i=-100;i<-83;i++){ buf[42]=(byte)i; if(sha1_32(buf)==-900575906){break;} }
		for(i=-103;i<-83;i++){ buf[43]=(byte)i; if(sha1_32(buf)==727501128){break;} }
		for(i=16;i<28;i++){ buf[44]=(byte)i; if(sha1_32(buf)==1108493880){break;} }
		for(i=104;i<116;i++){ buf[45]=(byte)i; if(sha1_32(buf)==906373437){break;} }
		for(i=123;i<128;i++){ buf[46]=(byte)i; if(sha1_32(buf)==210041041){break;} }
		for(i=116;i<128;i++){ buf[47]=(byte)i; if(sha1_32(buf)==46333707){break;} }
		for(i=80;i<104;i++){ buf[48]=(byte)i; if(sha1_32(buf)==-1278907728){break;} }
		for(i=-77;i<-66;i++){ buf[49]=(byte)i; if(sha1_32(buf)==-1933545004){break;} }
		for(i=-48;i<-40;i++){ buf[50]=(byte)i; if(sha1_32(buf)==571819380){break;} }
		for(i=23;i<41;i++){ buf[51]=(byte)i; if(sha1_32(buf)==829552415){break;} }
		for(i=45;i<62;i++){ buf[52]=(byte)i; if(sha1_32(buf)==-1656696649){break;} }
		for(i=-26;i<-12;i++){ buf[53]=(byte)i; if(sha1_32(buf)==-562023027){break;} }
		for(i=19;i<45;i++){ buf[54]=(byte)i; if(sha1_32(buf)==-730952301){break;} }
		for(i=-111;i<-96;i++){ buf[55]=(byte)i; if(sha1_32(buf)==-1735844079){break;} }
		for(i=74;i<83;i++){ buf[56]=(byte)i; if(sha1_32(buf)==1811904673){break;} }
		for(i=-54;i<-35;i++){ buf[57]=(byte)i; if(sha1_32(buf)==118211986){break;} }
		for(i=93;i<106;i++){ buf[58]=(byte)i; if(sha1_32(buf)==1553510142){break;} }
		for(i=103;i<112;i++){ buf[59]=(byte)i; if(sha1_32(buf)==1595956994){break;} }
		for(i=116;i<128;i++){ buf[60]=(byte)i; if(sha1_32(buf)==-1648851716){break;} }
		for(i=-117;i<-98;i++){ buf[61]=(byte)i; if(sha1_32(buf)==262788708){break;} }
		for(i=-85;i<-66;i++){ buf[62]=(byte)i; if(sha1_32(buf)==157773422){break;} }
		for(i=-120;i<-98;i++){ buf[63]=(byte)i; if(sha1_32(buf)==-1502481965){break;} }
		for(i=111;i<128;i++){ buf[64]=(byte)i; if(sha1_32(buf)==1994233423){break;} }
		for(i=-102;i<-92;i++){ buf[65]=(byte)i; if(sha1_32(buf)==1064866329){break;} }
		for(i=2;i<15;i++){ buf[66]=(byte)i; if(sha1_32(buf)==224069630){break;} }
		for(i=-105;i<-81;i++){ buf[67]=(byte)i; if(sha1_32(buf)==-380322182){break;} }
		for(i=105;i<119;i++){ buf[68]=(byte)i; if(sha1_32(buf)==-316050471){break;} }
		for(i=-109;i<-90;i++){ buf[69]=(byte)i; if(sha1_32(buf)==1714828859){break;} }
		for(i=-87;i<-75;i++){ buf[70]=(byte)i; if(sha1_32(buf)==-245143209){break;} }
		for(i=-108;i<-90;i++){ buf[71]=(byte)i; if(sha1_32(buf)==1101557258){break;} }
		for(i=84;i<109;i++){ buf[72]=(byte)i; if(sha1_32(buf)==-1191045689){break;} }
		for(i=-89;i<-65;i++){ buf[73]=(byte)i; if(sha1_32(buf)==1939753713){break;} }
		for(i=22;i<29;i++){ buf[74]=(byte)i; if(sha1_32(buf)==-299181579){break;} }
		for(i=49;i<72;i++){ buf[75]=(byte)i; if(sha1_32(buf)==2067538549){break;} }
		for(i=-23;i<0;i++){ buf[76]=(byte)i; if(sha1_32(buf)==892969598){break;} }
		for(i=72;i<85;i++){ buf[77]=(byte)i; if(sha1_32(buf)==600948009){break;} }
		for(i=35;i<48;i++){ buf[78]=(byte)i; if(sha1_32(buf)==-1354304301){break;} }
		for(i=-102;i<-86;i++){ buf[79]=(byte)i; if(sha1_32(buf)==-1186079874){break;} }
		for(i=-88;i<-76;i++){ buf[80]=(byte)i; if(sha1_32(buf)==-1041422303){break;} }
		for(i=-59;i<-40;i++){ buf[81]=(byte)i; if(sha1_32(buf)==-1445745123){break;} }
		for(i=-18;i<-7;i++){ buf[82]=(byte)i; if(sha1_32(buf)==-1314812066){break;} }
		for(i=66;i<84;i++){ buf[83]=(byte)i; if(sha1_32(buf)==-544624209){break;} }
		for(i=13;i<38;i++){ buf[84]=(byte)i; if(sha1_32(buf)==700459111){break;} }
		for(i=71;i<86;i++){ buf[85]=(byte)i; if(sha1_32(buf)==1209163703){break;} }
		for(i=64;i<88;i++){ buf[86]=(byte)i; if(sha1_32(buf)==784785656){break;} }
		for(i=-13;i<-2;i++){ buf[87]=(byte)i; if(sha1_32(buf)==-234957691){break;} }
		for(i=51;i<70;i++){ buf[88]=(byte)i; if(sha1_32(buf)==-1404247219){break;} }
		for(i=-29;i<0;i++){ buf[89]=(byte)i; if(sha1_32(buf)==-942655063){break;} }
		for(i=24;i<46;i++){ buf[90]=(byte)i; if(sha1_32(buf)==1039995979){break;} }
		for(i=-43;i<-26;i++){ buf[91]=(byte)i; if(sha1_32(buf)==2076422225){break;} }
		for(i=112;i<124;i++){ buf[92]=(byte)i; if(sha1_32(buf)==-1275157680){break;} }
		for(i=-119;i<-102;i++){ buf[93]=(byte)i; if(sha1_32(buf)==465443527){break;} }
		for(i=-50;i<-32;i++){ buf[94]=(byte)i; if(sha1_32(buf)==-60737341){break;} }
		for(i=-15;i<1;i++){ buf[95]=(byte)i; if(sha1_32(buf)==-2061139557){break;} }
		for(i=2;i<8;i++){ buf[96]=(byte)i; if(sha1_32(buf)==2004293905){break;} }
		for(i=-100;i<-77;i++){ buf[97]=(byte)i; if(sha1_32(buf)==607860689){break;} }
		for(i=119;i<128;i++){ buf[98]=(byte)i; if(sha1_32(buf)==1887629870){break;} }
		for(i=36;i<41;i++){ buf[99]=(byte)i; if(sha1_32(buf)==1240936760){break;} }
		for(i=106;i<122;i++){ buf[100]=(byte)i; if(sha1_32(buf)==-1706578825){break;} }
		for(i=-110;i<-97;i++){ buf[101]=(byte)i; if(sha1_32(buf)==1968654672){break;} }
		for(i=-128;i<-110;i++){ buf[102]=(byte)i; if(sha1_32(buf)==1757245502){break;} }
		for(i=-1;i<18;i++){ buf[103]=(byte)i; if(sha1_32(buf)==1370669120){break;} }
		for(i=120;i<127;i++){ buf[104]=(byte)i; if(sha1_32(buf)==1361801239){break;} }
		for(i=-74;i<-63;i++){ buf[105]=(byte)i; if(sha1_32(buf)==-604098112){break;} }
		for(i=64;i<80;i++){ buf[106]=(byte)i; if(sha1_32(buf)==-803437690){break;} }
		for(i=112;i<128;i++){ buf[107]=(byte)i; if(sha1_32(buf)==-1704195646){break;} }
		for(i=59;i<74;i++){ buf[108]=(byte)i; if(sha1_32(buf)==1572405536){break;} }
		for(i=-90;i<-82;i++){ buf[109]=(byte)i; if(sha1_32(buf)==-974715656){break;} }
		for(i=-30;i<-16;i++){ buf[110]=(byte)i; if(sha1_32(buf)==300651146){break;} }
		for(i=-128;i<-119;i++){ buf[111]=(byte)i; if(sha1_32(buf)==-913266807){break;} }
		for(i=-100;i<-86;i++){ buf[112]=(byte)i; if(sha1_32(buf)==1574271892){break;} }
		for(i=-36;i<-32;i++){ buf[113]=(byte)i; if(sha1_32(buf)==-1063955878){break;} }
		for(i=-54;i<-52;i++){ buf[114]=(byte)i; if(sha1_32(buf)==209876315){break;} }
		for(i=14;i<25;i++){ buf[115]=(byte)i; if(sha1_32(buf)==1859413147){break;} }
		for(i=101;i<118;i++){ buf[116]=(byte)i; if(sha1_32(buf)==-724245447){break;} }
		for(i=-4;i<3;i++){ buf[117]=(byte)i; if(sha1_32(buf)==1766388188){break;} }
		for(i=-101;i<-97;i++){ buf[118]=(byte)i; if(sha1_32(buf)==-1190253982){break;} }
		for(i=61;i<79;i++){ buf[119]=(byte)i; if(sha1_32(buf)==-721338010){break;} }
		for(i=-71;i<-52;i++){ buf[120]=(byte)i; if(sha1_32(buf)==675625809){break;} }
		for(i=-23;i<-14;i++){ buf[121]=(byte)i; if(sha1_32(buf)==763174542){break;} }
		for(i=-40;i<-29;i++){ buf[122]=(byte)i; if(sha1_32(buf)==-1800233442){break;} }
		for(i=86;i<96;i++){ buf[123]=(byte)i; if(sha1_32(buf)==-175180775){break;} }
		for(i=-57;i<-38;i++){ buf[124]=(byte)i; if(sha1_32(buf)==-2094789371){break;} }
		for(i=59;i<68;i++){ buf[125]=(byte)i; if(sha1_32(buf)==167036188){break;} }
		for(i=-77;i<-55;i++){ buf[126]=(byte)i; if(sha1_32(buf)==-970594609){break;} }
		for(i=-51;i<-33;i++){ buf[127]=(byte)i; if(sha1_32(buf)==-175922227){break;} }
		for(i=92;i<114;i++){ buf[128]=(byte)i; if(sha1_32(buf)==287368868){break;} }
		for(i=-115;i<-102;i++){ buf[129]=(byte)i; if(sha1_32(buf)==597704823){break;} }
		for(i=-80;i<-69;i++){ buf[130]=(byte)i; if(sha1_32(buf)==-1501685098){break;} }
		for(i=10;i<30;i++){ buf[131]=(byte)i; if(sha1_32(buf)==-309212253){break;} }
		for(i=-125;i<-108;i++){ buf[132]=(byte)i; if(sha1_32(buf)==718894940){break;} }
		for(i=-53;i<-29;i++){ buf[133]=(byte)i; if(sha1_32(buf)==1973363004){break;} }
		for(i=-103;i<-82;i++){ buf[134]=(byte)i; if(sha1_32(buf)==2087689460){break;} }
		for(i=83;i<101;i++){ buf[135]=(byte)i; if(sha1_32(buf)==-1693174937){break;} }
		for(i=80;i<104;i++){ buf[136]=(byte)i; if(sha1_32(buf)==-2142509856){break;} }
		for(i=-2;i<27;i++){ buf[137]=(byte)i; if(sha1_32(buf)==-1807095493){break;} }
		for(i=-117;i<-88;i++){ buf[138]=(byte)i; if(sha1_32(buf)==-244150745){break;} }
		for(i=-113;i<-83;i++){ buf[139]=(byte)i; if(sha1_32(buf)==-2065859425){break;} }
		for(i=-60;i<-47;i++){ buf[140]=(byte)i; if(sha1_32(buf)==-598846035){break;} }
		for(i=-128;i<-102;i++){ buf[141]=(byte)i; if(sha1_32(buf)==1386306175){break;} }
		for(i=-103;i<-76;i++){ buf[142]=(byte)i; if(sha1_32(buf)==-60227960){break;} }
		for(i=5;i<16;i++){ buf[143]=(byte)i; if(sha1_32(buf)==-213259234){break;} }
		for(i=-76;i<-56;i++){ buf[144]=(byte)i; if(sha1_32(buf)==1968610193){break;} }
		for(i=22;i<34;i++){ buf[145]=(byte)i; if(sha1_32(buf)==2008299042){break;} }
		for(i=-112;i<-89;i++){ buf[146]=(byte)i; if(sha1_32(buf)==-1919414812){break;} }
		for(i=-128;i<-117;i++){ buf[147]=(byte)i; if(sha1_32(buf)==64362879){break;} }
		for(i=83;i<107;i++){ buf[148]=(byte)i; if(sha1_32(buf)==796450840){break;} }
		for(i=-88;i<-70;i++){ buf[149]=(byte)i; if(sha1_32(buf)==539539426){break;} }
		for(i=-8;i<7;i++){ buf[150]=(byte)i; if(sha1_32(buf)==-785798993){break;} }
		for(i=-50;i<-30;i++){ buf[151]=(byte)i; if(sha1_32(buf)==-279376029){break;} }
		for(i=-120;i<-98;i++){ buf[152]=(byte)i; if(sha1_32(buf)==1546094085){break;} }
		for(i=-10;i<7;i++){ buf[153]=(byte)i; if(sha1_32(buf)==2134787227){break;} }
		for(i=114;i<128;i++){ buf[154]=(byte)i; if(sha1_32(buf)==-1993002350){break;} }
		for(i=9;i<25;i++){ buf[155]=(byte)i; if(sha1_32(buf)==1592219419){break;} }
		for(i=127;i<128;i++){ buf[156]=(byte)i; if(sha1_32(buf)==757066088){break;} }
		for(i=78;i<89;i++){ buf[157]=(byte)i; if(sha1_32(buf)==-939628666){break;} }
		for(i=-53;i<-31;i++){ buf[158]=(byte)i; if(sha1_32(buf)==1864835465){break;} }
		for(i=63;i<76;i++){ buf[159]=(byte)i; if(sha1_32(buf)==258808975){break;} }
		for(i=-6;i<9;i++){ buf[160]=(byte)i; if(sha1_32(buf)==201912951){break;} }
		for(i=113;i<127;i++){ buf[161]=(byte)i; if(sha1_32(buf)==-1390156123){break;} }
		for(i=-96;i<-86;i++){ buf[162]=(byte)i; if(sha1_32(buf)==-1464049583){break;} }
		for(i=-42;i<-28;i++){ buf[163]=(byte)i; if(sha1_32(buf)==-1228952211){break;} }
		for(i=21;i<35;i++){ buf[164]=(byte)i; if(sha1_32(buf)==-1565934900){break;} }
		for(i=59;i<72;i++){ buf[165]=(byte)i; if(sha1_32(buf)==-215571955){break;} }
		for(i=-94;i<-89;i++){ buf[166]=(byte)i; if(sha1_32(buf)==1863780679){break;} }
		for(i=41;i<54;i++){ buf[167]=(byte)i; if(sha1_32(buf)==-697190105){break;} }
		for(i=-94;i<-74;i++){ buf[168]=(byte)i; if(sha1_32(buf)==-630094755){break;} }
		for(i=-15;i<-3;i++){ buf[169]=(byte)i; if(sha1_32(buf)==1186481505){break;} }
		for(i=5;i<13;i++){ buf[170]=(byte)i; if(sha1_32(buf)==975162341){break;} }
		for(i=64;i<75;i++){ buf[171]=(byte)i; if(sha1_32(buf)==1493232560){break;} }
		for(i=-50;i<-48;i++){ buf[172]=(byte)i; if(sha1_32(buf)==-487163610){break;} }
		for(i=80;i<94;i++){ buf[173]=(byte)i; if(sha1_32(buf)==-1375313266){break;} }
		for(i=37;i<61;i++){ buf[174]=(byte)i; if(sha1_32(buf)==1885457838){break;} }
		for(i=-109;i<-98;i++){ buf[175]=(byte)i; if(sha1_32(buf)==161184937){break;} }
		for(i=-83;i<-67;i++){ buf[176]=(byte)i; if(sha1_32(buf)==-40646024){break;} }
		for(i=-13;i<-3;i++){ buf[177]=(byte)i; if(sha1_32(buf)==234208933){break;} }
		for(i=94;i<117;i++){ buf[178]=(byte)i; if(sha1_32(buf)==-66769207){break;} }
		for(i=45;i<57;i++){ buf[179]=(byte)i; if(sha1_32(buf)==2103517574){break;} }
		for(i=-23;i<-9;i++){ buf[180]=(byte)i; if(sha1_32(buf)==425625345){break;} }
		for(i=-69;i<-51;i++){ buf[181]=(byte)i; if(sha1_32(buf)==-223692960){break;} }
		for(i=-78;i<-62;i++){ buf[182]=(byte)i; if(sha1_32(buf)==-1402507413){break;} }
		for(i=16;i<22;i++){ buf[183]=(byte)i; if(sha1_32(buf)==-536256349){break;} }
		for(i=-33;i<-22;i++){ buf[184]=(byte)i; if(sha1_32(buf)==555007253){break;} }
		for(i=30;i<39;i++){ buf[185]=(byte)i; if(sha1_32(buf)==2066465204){break;} }
		for(i=12;i<28;i++){ buf[186]=(byte)i; if(sha1_32(buf)==910670546){break;} }
		for(i=-15;i<10;i++){ buf[187]=(byte)i; if(sha1_32(buf)==-895425688){break;} }
		for(i=110;i<128;i++){ buf[188]=(byte)i; if(sha1_32(buf)==1307029692){break;} }
		for(i=-91;i<-77;i++){ buf[189]=(byte)i; if(sha1_32(buf)==1283329960){break;} }
		for(i=-119;i<-98;i++){ buf[190]=(byte)i; if(sha1_32(buf)==-766567473){break;} }
		for(i=-31;i<-16;i++){ buf[191]=(byte)i; if(sha1_32(buf)==1624290967){break;} }
		for(i=11;i<23;i++){ buf[192]=(byte)i; if(sha1_32(buf)==699699241){break;} }
		for(i=-64;i<-48;i++){ buf[193]=(byte)i; if(sha1_32(buf)==1367657477){break;} }
		for(i=-96;i<-76;i++){ buf[194]=(byte)i; if(sha1_32(buf)==-1136605058){break;} }
		for(i=-42;i<-31;i++){ buf[195]=(byte)i; if(sha1_32(buf)==840991318){break;} }
		for(i=95;i<110;i++){ buf[196]=(byte)i; if(sha1_32(buf)==-1750307206){break;} }
		for(i=24;i<42;i++){ buf[197]=(byte)i; if(sha1_32(buf)==-727280276){break;} }
		for(i=15;i<38;i++){ buf[198]=(byte)i; if(sha1_32(buf)==1499328368){break;} }
		for(i=-38;i<-34;i++){ buf[199]=(byte)i; if(sha1_32(buf)==-1700919624){break;} }
		for(i=22;i<49;i++){ buf[200]=(byte)i; if(sha1_32(buf)==1058574942){break;} }
		for(i=-120;i<-94;i++){ buf[201]=(byte)i; if(sha1_32(buf)==1099051426){break;} }
		for(i=-128;i<-113;i++){ buf[202]=(byte)i; if(sha1_32(buf)==1744708745){break;} }
		for(i=114;i<128;i++){ buf[203]=(byte)i; if(sha1_32(buf)==-524862282){break;} }
		for(i=47;i<59;i++){ buf[204]=(byte)i; if(sha1_32(buf)==-1089364631){break;} }
		for(i=76;i<94;i++){ buf[205]=(byte)i; if(sha1_32(buf)==794912790){break;} }
		for(i=-110;i<-99;i++){ buf[206]=(byte)i; if(sha1_32(buf)==-241426378){break;} }
		for(i=44;i<55;i++){ buf[207]=(byte)i; if(sha1_32(buf)==1061741248){break;} }
		for(i=67;i<87;i++){ buf[208]=(byte)i; if(sha1_32(buf)==223108095){break;} }
		for(i=-120;i<-110;i++){ buf[209]=(byte)i; if(sha1_32(buf)==-481268178){break;} }
		for(i=31;i<53;i++){ buf[210]=(byte)i; if(sha1_32(buf)==-1361442750){break;} }
		for(i=-83;i<-62;i++){ buf[211]=(byte)i; if(sha1_32(buf)==-1276544691){break;} }
		for(i=48;i<52;i++){ buf[212]=(byte)i; if(sha1_32(buf)==-1749981862){break;} }
		for(i=37;i<60;i++){ buf[213]=(byte)i; if(sha1_32(buf)==1290082940){break;} }
		for(i=18;i<44;i++){ buf[214]=(byte)i; if(sha1_32(buf)==-88522464){break;} }
		for(i=-85;i<-78;i++){ buf[215]=(byte)i; if(sha1_32(buf)==-1877308564){break;} }
		for(i=125;i<128;i++){ buf[216]=(byte)i; if(sha1_32(buf)==-1444562638){break;} }
		for(i=113;i<116;i++){ buf[217]=(byte)i; if(sha1_32(buf)==-255484175){break;} }
		for(i=54;i<80;i++){ buf[218]=(byte)i; if(sha1_32(buf)==-1687564112){break;} }
		for(i=39;i<56;i++){ buf[219]=(byte)i; if(sha1_32(buf)==-582126276){break;} }
		for(i=109;i<126;i++){ buf[220]=(byte)i; if(sha1_32(buf)==-195248930){break;} }
		for(i=-70;i<-43;i++){ buf[221]=(byte)i; if(sha1_32(buf)==-1132756504){break;} }
		for(i=-24;i<-8;i++){ buf[222]=(byte)i; if(sha1_32(buf)==1581602156){break;} }
		for(i=-8;i<16;i++){ buf[223]=(byte)i; if(sha1_32(buf)==369287346){break;} }
		for(i=-58;i<-33;i++){ buf[224]=(byte)i; if(sha1_32(buf)==959074160){break;} }
		for(i=-32;i<-21;i++){ buf[225]=(byte)i; if(sha1_32(buf)==-450504407){break;} }
		for(i=117;i<125;i++){ buf[226]=(byte)i; if(sha1_32(buf)==-273717197){break;} }
		for(i=5;i<21;i++){ buf[227]=(byte)i; if(sha1_32(buf)==1104494654){break;} }
		for(i=13;i<25;i++){ buf[228]=(byte)i; if(sha1_32(buf)==-238012594){break;} }
		for(i=18;i<36;i++){ buf[229]=(byte)i; if(sha1_32(buf)==1359276267){break;} }
		for(i=52;i<63;i++){ buf[230]=(byte)i; if(sha1_32(buf)==1865337497){break;} }
		for(i=52;i<82;i++){ buf[231]=(byte)i; if(sha1_32(buf)==668379431){break;} }
		for(i=-73;i<-63;i++){ buf[232]=(byte)i; if(sha1_32(buf)==-1934076268){break;} }
		for(i=-56;i<-37;i++){ buf[233]=(byte)i; if(sha1_32(buf)==-1393598446){break;} }
		for(i=-105;i<-88;i++){ buf[234]=(byte)i; if(sha1_32(buf)==1026967744){break;} }
		for(i=11;i<26;i++){ buf[235]=(byte)i; if(sha1_32(buf)==-642479370){break;} }
		for(i=-38;i<-29;i++){ buf[236]=(byte)i; if(sha1_32(buf)==-2007950431){break;} }
		for(i=-88;i<-80;i++){ buf[237]=(byte)i; if(sha1_32(buf)==2124466593){break;} }
		for(i=-113;i<-101;i++){ buf[238]=(byte)i; if(sha1_32(buf)==-142231750){break;} }
		for(i=-23;i<-18;i++){ buf[239]=(byte)i; if(sha1_32(buf)==293854082){break;} }
		for(i=61;i<82;i++){ buf[240]=(byte)i; if(sha1_32(buf)==1921168139){break;} }
		for(i=61;i<77;i++){ buf[241]=(byte)i; if(sha1_32(buf)==1253212434){break;} }
		for(i=-24;i<-12;i++){ buf[242]=(byte)i; if(sha1_32(buf)==524003748){break;} }
		for(i=-34;i<-17;i++){ buf[243]=(byte)i; if(sha1_32(buf)==-2009550168){break;} }
		for(i=6;i<17;i++){ buf[244]=(byte)i; if(sha1_32(buf)==741404571){break;} }
		for(i=48;i<63;i++){ buf[245]=(byte)i; if(sha1_32(buf)==-1559012696){break;} }
		for(i=-128;i<-111;i++){ buf[246]=(byte)i; if(sha1_32(buf)==-1668891375){break;} }
		for(i=-94;i<-83;i++){ buf[247]=(byte)i; if(sha1_32(buf)==438971989){break;} }
		for(i=-97;i<-78;i++){ buf[248]=(byte)i; if(sha1_32(buf)==518879353){break;} }
		for(i=71;i<98;i++){ buf[249]=(byte)i; if(sha1_32(buf)==1568714541){break;} }
		for(i=-60;i<-38;i++){ buf[250]=(byte)i; if(sha1_32(buf)==-321312132){break;} }
		for(i=-63;i<-56;i++){ buf[251]=(byte)i; if(sha1_32(buf)==1612103462){break;} }
		for(i=-105;i<-82;i++){ buf[252]=(byte)i; if(sha1_32(buf)==-1744578458){break;} }
		for(i=37;i<61;i++){ buf[253]=(byte)i; if(sha1_32(buf)==-1694154914){break;} }
		for(i=-36;i<-25;i++){ buf[254]=(byte)i; if(sha1_32(buf)==245139272){break;} }
		for(i=119;i<128;i++){ buf[255]=(byte)i; if(sha1_32(buf)==2037968316){break;} }
		for(i=-83;i<-62;i++){ buf[256]=(byte)i; if(sha1_32(buf)==-632006472){break;} }
		for(i=-77;i<-48;i++){ buf[257]=(byte)i; if(sha1_32(buf)==-607243984){break;} }
		for(i=18;i<29;i++){ buf[258]=(byte)i; if(sha1_32(buf)==-859491936){break;} }
		for(i=-76;i<-62;i++){ buf[259]=(byte)i; if(sha1_32(buf)==364932515){break;} }
		for(i=-128;i<-120;i++){ buf[260]=(byte)i; if(sha1_32(buf)==1815395029){break;} }
		for(i=-120;i<-104;i++){ buf[261]=(byte)i; if(sha1_32(buf)==1208863127){break;} }
		for(i=-19;i<-10;i++){ buf[262]=(byte)i; if(sha1_32(buf)==1857897161){break;} }
		for(i=-26;i<-5;i++){ buf[263]=(byte)i; if(sha1_32(buf)==-578816708){break;} }
		for(i=53;i<71;i++){ buf[264]=(byte)i; if(sha1_32(buf)==1984323309){break;} }
		for(i=-66;i<-57;i++){ buf[265]=(byte)i; if(sha1_32(buf)==2062208164){break;} }
		for(i=-97;i<-80;i++){ buf[266]=(byte)i; if(sha1_32(buf)==-822046503){break;} }
		for(i=67;i<89;i++){ buf[267]=(byte)i; if(sha1_32(buf)==1743171652){break;} }
		for(i=59;i<67;i++){ buf[268]=(byte)i; if(sha1_32(buf)==-1639870795){break;} }
		for(i=53;i<70;i++){ buf[269]=(byte)i; if(sha1_32(buf)==-621003101){break;} }
		for(i=-109;i<-89;i++){ buf[270]=(byte)i; if(sha1_32(buf)==11528580){break;} }
		for(i=-90;i<-87;i++){ buf[271]=(byte)i; if(sha1_32(buf)==1076274956){break;} }
		for(i=-58;i<-45;i++){ buf[272]=(byte)i; if(sha1_32(buf)==502374525){break;} }
		for(i=120;i<128;i++){ buf[273]=(byte)i; if(sha1_32(buf)==1040369733){break;} }
		for(i=-9;i<-3;i++){ buf[274]=(byte)i; if(sha1_32(buf)==613703111){break;} }
		for(i=45;i<62;i++){ buf[275]=(byte)i; if(sha1_32(buf)==1458627603){break;} }
		for(i=-75;i<-60;i++){ buf[276]=(byte)i; if(sha1_32(buf)==-1764226010){break;} }
		for(i=-57;i<-41;i++){ buf[277]=(byte)i; if(sha1_32(buf)==869601520){break;} }
		for(i=116;i<121;i++){ buf[278]=(byte)i; if(sha1_32(buf)==1096675751){break;} }
		for(i=-128;i<-117;i++){ buf[279]=(byte)i; if(sha1_32(buf)==1807850685){break;} }
		for(i=57;i<76;i++){ buf[280]=(byte)i; if(sha1_32(buf)==547952288){break;} }
		for(i=-14;i<-4;i++){ buf[281]=(byte)i; if(sha1_32(buf)==276828807){break;} }
		for(i=101;i<112;i++){ buf[282]=(byte)i; if(sha1_32(buf)==45922571){break;} }
		for(i=-33;i<-14;i++){ buf[283]=(byte)i; if(sha1_32(buf)==2136744768){break;} }
		for(i=-12;i<0;i++){ buf[284]=(byte)i; if(sha1_32(buf)==-1210111298){break;} }
		for(i=89;i<103;i++){ buf[285]=(byte)i; if(sha1_32(buf)==1946471111){break;} }
		for(i=-128;i<-114;i++){ buf[286]=(byte)i; if(sha1_32(buf)==856415267){break;} }
		for(i=-128;i<-125;i++){ buf[287]=(byte)i; if(sha1_32(buf)==933655418){break;} }
		for(i=-88;i<-67;i++){ buf[288]=(byte)i; if(sha1_32(buf)==-1913574085){break;} }
		for(i=75;i<91;i++){ buf[289]=(byte)i; if(sha1_32(buf)==183541998){break;} }
		for(i=85;i<103;i++){ buf[290]=(byte)i; if(sha1_32(buf)==1221234878){break;} }
		for(i=-120;i<-105;i++){ buf[291]=(byte)i; if(sha1_32(buf)==1862640302){break;} }
		for(i=-98;i<-70;i++){ buf[292]=(byte)i; if(sha1_32(buf)==-1083648534){break;} }
		for(i=-114;i<-106;i++){ buf[293]=(byte)i; if(sha1_32(buf)==1093502453){break;} }
		for(i=-79;i<-66;i++){ buf[294]=(byte)i; if(sha1_32(buf)==-2079140774){break;} }
		for(i=-86;i<-60;i++){ buf[295]=(byte)i; if(sha1_32(buf)==1264781703){break;} }
		for(i=-114;i<-113;i++){ buf[296]=(byte)i; if(sha1_32(buf)==1197794371){break;} }
		for(i=5;i<13;i++){ buf[297]=(byte)i; if(sha1_32(buf)==-1497358328){break;} }
		for(i=9;i<24;i++){ buf[298]=(byte)i; if(sha1_32(buf)==1138390377){break;} }
		for(i=3;i<27;i++){ buf[299]=(byte)i; if(sha1_32(buf)==1931184390){break;} }
		for(i=-62;i<-50;i++){ buf[300]=(byte)i; if(sha1_32(buf)==1553669287){break;} }
		for(i=72;i<84;i++){ buf[301]=(byte)i; if(sha1_32(buf)==501762555){break;} }
		for(i=77;i<95;i++){ buf[302]=(byte)i; if(sha1_32(buf)==1871466725){break;} }
		for(i=67;i<86;i++){ buf[303]=(byte)i; if(sha1_32(buf)==298166464){break;} }
		for(i=-71;i<-51;i++){ buf[304]=(byte)i; if(sha1_32(buf)==891165883){break;} }
		for(i=0;i<7;i++){ buf[305]=(byte)i; if(sha1_32(buf)==1226851340){break;} }
		for(i=-4;i<15;i++){ buf[306]=(byte)i; if(sha1_32(buf)==-813548358){break;} }
		for(i=-15;i<-10;i++){ buf[307]=(byte)i; if(sha1_32(buf)==-1920263505){break;} }
		for(i=101;i<106;i++){ buf[308]=(byte)i; if(sha1_32(buf)==-182557475){break;} }
		for(i=47;i<56;i++){ buf[309]=(byte)i; if(sha1_32(buf)==-2025478611){break;} }
		for(i=29;i<54;i++){ buf[310]=(byte)i; if(sha1_32(buf)==-770933457){break;} }
		for(i=-76;i<-59;i++){ buf[311]=(byte)i; if(sha1_32(buf)==-849133848){break;} }
		for(i=71;i<96;i++){ buf[312]=(byte)i; if(sha1_32(buf)==59419932){break;} }
		for(i=23;i<48;i++){ buf[313]=(byte)i; if(sha1_32(buf)==807987220){break;} }
		for(i=-85;i<-79;i++){ buf[314]=(byte)i; if(sha1_32(buf)==-1550780941){break;} }
		for(i=72;i<84;i++){ buf[315]=(byte)i; if(sha1_32(buf)==1929607807){break;} }
		for(i=-76;i<-54;i++){ buf[316]=(byte)i; if(sha1_32(buf)==1573000341){break;} }
		for(i=24;i<39;i++){ buf[317]=(byte)i; if(sha1_32(buf)==763850033){break;} }
		for(i=-72;i<-47;i++){ buf[318]=(byte)i; if(sha1_32(buf)==223416181){break;} }
		for(i=-35;i<-12;i++){ buf[319]=(byte)i; if(sha1_32(buf)==-1797547506){break;} }
		for(i=32;i<63;i++){ buf[320]=(byte)i; if(sha1_32(buf)==-699471961){break;} }
		for(i=-111;i<-105;i++){ buf[321]=(byte)i; if(sha1_32(buf)==225122553){break;} }
		for(i=-21;i<-14;i++){ buf[322]=(byte)i; if(sha1_32(buf)==762178073){break;} }
		for(i=-128;i<-118;i++){ buf[323]=(byte)i; if(sha1_32(buf)==-1425660745){break;} }
		for(i=71;i<87;i++){ buf[324]=(byte)i; if(sha1_32(buf)==512877124){break;} }
		for(i=-68;i<-56;i++){ buf[325]=(byte)i; if(sha1_32(buf)==-1994495422){break;} }
		for(i=78;i<94;i++){ buf[326]=(byte)i; if(sha1_32(buf)==-1927820368){break;} }
		for(i=52;i<63;i++){ buf[327]=(byte)i; if(sha1_32(buf)==-341499578){break;} }
		for(i=85;i<98;i++){ buf[328]=(byte)i; if(sha1_32(buf)==1795892483){break;} }
		for(i=67;i<70;i++){ buf[329]=(byte)i; if(sha1_32(buf)==-894035582){break;} }
		for(i=-69;i<-51;i++){ buf[330]=(byte)i; if(sha1_32(buf)==674471219){break;} }
		for(i=-73;i<-52;i++){ buf[331]=(byte)i; if(sha1_32(buf)==-274870565){break;} }
		for(i=61;i<77;i++){ buf[332]=(byte)i; if(sha1_32(buf)==1244456675){break;} }
		for(i=-19;i<-15;i++){ buf[333]=(byte)i; if(sha1_32(buf)==816013770){break;} }
		for(i=23;i<36;i++){ buf[334]=(byte)i; if(sha1_32(buf)==1601191482){break;} }
		for(i=-50;i<-42;i++){ buf[335]=(byte)i; if(sha1_32(buf)==652386384){break;} }
		for(i=55;i<75;i++){ buf[336]=(byte)i; if(sha1_32(buf)==-789122844){break;} }
		for(i=73;i<101;i++){ buf[337]=(byte)i; if(sha1_32(buf)==614060283){break;} }
		for(i=-21;i<-15;i++){ buf[338]=(byte)i; if(sha1_32(buf)==-223122016){break;} }
		for(i=-89;i<-67;i++){ buf[339]=(byte)i; if(sha1_32(buf)==1910324150){break;} }
		for(i=76;i<91;i++){ buf[340]=(byte)i; if(sha1_32(buf)==1579986641){break;} }
		for(i=49;i<51;i++){ buf[341]=(byte)i; if(sha1_32(buf)==1329422699){break;} }
		for(i=57;i<81;i++){ buf[342]=(byte)i; if(sha1_32(buf)==-210091424){break;} }
		for(i=74;i<92;i++){ buf[343]=(byte)i; if(sha1_32(buf)==1887277947){break;} }
		for(i=79;i<83;i++){ buf[344]=(byte)i; if(sha1_32(buf)==1874638229){break;} }
		for(i=39;i<55;i++){ buf[345]=(byte)i; if(sha1_32(buf)==1497233258){break;} }
		for(i=-74;i<-59;i++){ buf[346]=(byte)i; if(sha1_32(buf)==-1441794947){break;} }
		for(i=-81;i<-64;i++){ buf[347]=(byte)i; if(sha1_32(buf)==555779417){break;} }
		for(i=50;i<55;i++){ buf[348]=(byte)i; if(sha1_32(buf)==-1000561118){break;} }
		for(i=86;i<103;i++){ buf[349]=(byte)i; if(sha1_32(buf)==-291419217){break;} }
		for(i=59;i<69;i++){ buf[350]=(byte)i; if(sha1_32(buf)==-1342389781){break;} }
		for(i=5;i<17;i++){ buf[351]=(byte)i; if(sha1_32(buf)==-1837123275){break;} }
		for(i=62;i<80;i++){ buf[352]=(byte)i; if(sha1_32(buf)==-1253636743){break;} }
		for(i=-88;i<-77;i++){ buf[353]=(byte)i; if(sha1_32(buf)==-809287161){break;} }
		for(i=-128;i<-113;i++){ buf[354]=(byte)i; if(sha1_32(buf)==1888264631){break;} }
		for(i=26;i<30;i++){ buf[355]=(byte)i; if(sha1_32(buf)==-46225344){break;} }
		for(i=-10;i<0;i++){ buf[356]=(byte)i; if(sha1_32(buf)==1511330314){break;} }
		for(i=-108;i<-86;i++){ buf[357]=(byte)i; if(sha1_32(buf)==-1168139619){break;} }
		for(i=-33;i<-23;i++){ buf[358]=(byte)i; if(sha1_32(buf)==2112056876){break;} }
		for(i=80;i<94;i++){ buf[359]=(byte)i; if(sha1_32(buf)==-1282740540){break;} }
		for(i=-76;i<-62;i++){ buf[360]=(byte)i; if(sha1_32(buf)==-1739532043){break;} }
		for(i=-11;i<18;i++){ buf[361]=(byte)i; if(sha1_32(buf)==-713930270){break;} }
		for(i=65;i<76;i++){ buf[362]=(byte)i; if(sha1_32(buf)==-387821756){break;} }
		for(i=33;i<40;i++){ buf[363]=(byte)i; if(sha1_32(buf)==-122511902){break;} }
		for(i=-67;i<-47;i++){ buf[364]=(byte)i; if(sha1_32(buf)==-1830047068){break;} }
		for(i=-55;i<-39;i++){ buf[365]=(byte)i; if(sha1_32(buf)==-1556551322){break;} }
		for(i=67;i<83;i++){ buf[366]=(byte)i; if(sha1_32(buf)==-188876631){break;} }
		for(i=-40;i<-30;i++){ buf[367]=(byte)i; if(sha1_32(buf)==-941062876){break;} }
		for(i=-40;i<-25;i++){ buf[368]=(byte)i; if(sha1_32(buf)==102546779){break;} }
		for(i=-106;i<-85;i++){ buf[369]=(byte)i; if(sha1_32(buf)==1139116895){break;} }
		for(i=-37;i<-24;i++){ buf[370]=(byte)i; if(sha1_32(buf)==-1803013709){break;} }
		for(i=-106;i<-89;i++){ buf[371]=(byte)i; if(sha1_32(buf)==536205671){break;} }
		for(i=94;i<115;i++){ buf[372]=(byte)i; if(sha1_32(buf)==-949338377){break;} }
		for(i=108;i<114;i++){ buf[373]=(byte)i; if(sha1_32(buf)==23385672){break;} }
		for(i=-48;i<-36;i++){ buf[374]=(byte)i; if(sha1_32(buf)==1454555284){break;} }
		for(i=3;i<17;i++){ buf[375]=(byte)i; if(sha1_32(buf)==-1695311613){break;} }
		for(i=88;i<110;i++){ buf[376]=(byte)i; if(sha1_32(buf)==-992573302){break;} }
		for(i=-91;i<-79;i++){ buf[377]=(byte)i; if(sha1_32(buf)==1118480438){break;} }
		for(i=0;i<4;i++){ buf[378]=(byte)i; if(sha1_32(buf)==-1604303072){break;} }
		for(i=-117;i<-105;i++){ buf[379]=(byte)i; if(sha1_32(buf)==-2038517146){break;} }
		for(i=-23;i<-2;i++){ buf[380]=(byte)i; if(sha1_32(buf)==1053631544){break;} }
		for(i=-59;i<-48;i++){ buf[381]=(byte)i; if(sha1_32(buf)==8765921){break;} }
		for(i=99;i<104;i++){ buf[382]=(byte)i; if(sha1_32(buf)==-545046473){break;} }
		for(i=-86;i<-66;i++){ buf[383]=(byte)i; if(sha1_32(buf)==-1891174526){break;} }
		for(i=-102;i<-96;i++){ buf[384]=(byte)i; if(sha1_32(buf)==-361777750){break;} }
		for(i=-79;i<-60;i++){ buf[385]=(byte)i; if(sha1_32(buf)==-1841764230){break;} }
		for(i=-56;i<-48;i++){ buf[386]=(byte)i; if(sha1_32(buf)==-166422466){break;} }
		for(i=-105;i<-92;i++){ buf[387]=(byte)i; if(sha1_32(buf)==-1754019889){break;} }
		for(i=95;i<125;i++){ buf[388]=(byte)i; if(sha1_32(buf)==-179167533){break;} }
		for(i=-11;i<12;i++){ buf[389]=(byte)i; if(sha1_32(buf)==-2010480893){break;} }
		for(i=103;i<121;i++){ buf[390]=(byte)i; if(sha1_32(buf)==-1222052937){break;} }
		for(i=-120;i<-108;i++){ buf[391]=(byte)i; if(sha1_32(buf)==-1663688507){break;} }
		for(i=37;i<55;i++){ buf[392]=(byte)i; if(sha1_32(buf)==1503466720){break;} }
		for(i=-83;i<-65;i++){ buf[393]=(byte)i; if(sha1_32(buf)==26707326){break;} }
		for(i=-25;i<-10;i++){ buf[394]=(byte)i; if(sha1_32(buf)==635972413){break;} }
		for(i=22;i<48;i++){ buf[395]=(byte)i; if(sha1_32(buf)==-204954353){break;} }
		for(i=-81;i<-54;i++){ buf[396]=(byte)i; if(sha1_32(buf)==646009203){break;} }
		for(i=107;i<121;i++){ buf[397]=(byte)i; if(sha1_32(buf)==-162528703){break;} }
		for(i=-102;i<-91;i++){ buf[398]=(byte)i; if(sha1_32(buf)==-801810531){break;} }
		for(i=89;i<103;i++){ buf[399]=(byte)i; if(sha1_32(buf)==1749142998){break;} }
		for(i=65;i<73;i++){ buf[400]=(byte)i; if(sha1_32(buf)==693937640){break;} }
		for(i=12;i<34;i++){ buf[401]=(byte)i; if(sha1_32(buf)==-1360230721){break;} }
		for(i=-105;i<-100;i++){ buf[402]=(byte)i; if(sha1_32(buf)==2075430562){break;} }
		for(i=-77;i<-64;i++){ buf[403]=(byte)i; if(sha1_32(buf)==-1881672279){break;} }
		for(i=37;i<66;i++){ buf[404]=(byte)i; if(sha1_32(buf)==2141485442){break;} }
		for(i=14;i<27;i++){ buf[405]=(byte)i; if(sha1_32(buf)==654264937){break;} }
		for(i=49;i<58;i++){ buf[406]=(byte)i; if(sha1_32(buf)==-783149888){break;} }
		for(i=20;i<39;i++){ buf[407]=(byte)i; if(sha1_32(buf)==1835341699){break;} }
		for(i=-69;i<-62;i++){ buf[408]=(byte)i; if(sha1_32(buf)==-1070147364){break;} }
		for(i=40;i<62;i++){ buf[409]=(byte)i; if(sha1_32(buf)==-52060976){break;} }
		for(i=-29;i<-5;i++){ buf[410]=(byte)i; if(sha1_32(buf)==1046200503){break;} }
		for(i=3;i<16;i++){ buf[411]=(byte)i; if(sha1_32(buf)==2113462265){break;} }
		for(i=23;i<36;i++){ buf[412]=(byte)i; if(sha1_32(buf)==-1381610565){break;} }
		for(i=-29;i<-15;i++){ buf[413]=(byte)i; if(sha1_32(buf)==2119809002){break;} }
		for(i=84;i<104;i++){ buf[414]=(byte)i; if(sha1_32(buf)==-467940784){break;} }
		for(i=-9;i<-4;i++){ buf[415]=(byte)i; if(sha1_32(buf)==-530795563){break;} }
		for(i=20;i<41;i++){ buf[416]=(byte)i; if(sha1_32(buf)==1312068735){break;} }
		for(i=84;i<90;i++){ buf[417]=(byte)i; if(sha1_32(buf)==-776332929){break;} }
		for(i=44;i<64;i++){ buf[418]=(byte)i; if(sha1_32(buf)==1783119296){break;} }
		for(i=106;i<127;i++){ buf[419]=(byte)i; if(sha1_32(buf)==204417182){break;} }
		for(i=106;i<118;i++){ buf[420]=(byte)i; if(sha1_32(buf)==1934303699){break;} }
		for(i=-39;i<-20;i++){ buf[421]=(byte)i; if(sha1_32(buf)==-1608307027){break;} }
		for(i=-103;i<-84;i++){ buf[422]=(byte)i; if(sha1_32(buf)==776232232){break;} }
		for(i=119;i<128;i++){ buf[423]=(byte)i; if(sha1_32(buf)==1703753866){break;} }
		for(i=28;i<34;i++){ buf[424]=(byte)i; if(sha1_32(buf)==-260077931){break;} }
		for(i=17;i<28;i++){ buf[425]=(byte)i; if(sha1_32(buf)==-2038909267){break;} }
		for(i=-106;i<-98;i++){ buf[426]=(byte)i; if(sha1_32(buf)==943781208){break;} }
		for(i=-41;i<-29;i++){ buf[427]=(byte)i; if(sha1_32(buf)==603509915){break;} }
		for(i=-128;i<-121;i++){ buf[428]=(byte)i; if(sha1_32(buf)==1138236998){break;} }
		for(i=-103;i<-86;i++){ buf[429]=(byte)i; if(sha1_32(buf)==345970940){break;} }
		for(i=85;i<104;i++){ buf[430]=(byte)i; if(sha1_32(buf)==-858890230){break;} }
		for(i=-54;i<-43;i++){ buf[431]=(byte)i; if(sha1_32(buf)==-33412455){break;} }
		for(i=73;i<87;i++){ buf[432]=(byte)i; if(sha1_32(buf)==-1053909697){break;} }
		for(i=-41;i<-14;i++){ buf[433]=(byte)i; if(sha1_32(buf)==-1113108602){break;} }
		for(i=43;i<72;i++){ buf[434]=(byte)i; if(sha1_32(buf)==895735299){break;} }
		for(i=73;i<99;i++){ buf[435]=(byte)i; if(sha1_32(buf)==1560719089){break;} }
		for(i=22;i<26;i++){ buf[436]=(byte)i; if(sha1_32(buf)==1040240551){break;} }
		for(i=-128;i<-111;i++){ buf[437]=(byte)i; if(sha1_32(buf)==-1917244450){break;} }
		for(i=100;i<112;i++){ buf[438]=(byte)i; if(sha1_32(buf)==1733634507){break;} }
		for(i=112;i<128;i++){ buf[439]=(byte)i; if(sha1_32(buf)==-349183399){break;} }
		for(i=71;i<93;i++){ buf[440]=(byte)i; if(sha1_32(buf)==1095254810){break;} }
		for(i=-58;i<-48;i++){ buf[441]=(byte)i; if(sha1_32(buf)==-1228553969){break;} }
		for(i=93;i<114;i++){ buf[442]=(byte)i; if(sha1_32(buf)==-493805433){break;} }
		for(i=-28;i<0;i++){ buf[443]=(byte)i; if(sha1_32(buf)==1287554788){break;} }
		for(i=-107;i<-97;i++){ buf[444]=(byte)i; if(sha1_32(buf)==199560739){break;} }
		for(i=-16;i<3;i++){ buf[445]=(byte)i; if(sha1_32(buf)==-1825782626){break;} }
		for(i=28;i<45;i++){ buf[446]=(byte)i; if(sha1_32(buf)==19941552){break;} }
		for(i=29;i<51;i++){ buf[447]=(byte)i; if(sha1_32(buf)==-1943923264){break;} }
		for(i=86;i<112;i++){ buf[448]=(byte)i; if(sha1_32(buf)==-279773976){break;} }
		for(i=-115;i<-97;i++){ buf[449]=(byte)i; if(sha1_32(buf)==1420150943){break;} }
		for(i=119;i<128;i++){ buf[450]=(byte)i; if(sha1_32(buf)==186010309){break;} }
		for(i=-81;i<-71;i++){ buf[451]=(byte)i; if(sha1_32(buf)==-481266459){break;} }
		for(i=78;i<99;i++){ buf[452]=(byte)i; if(sha1_32(buf)==1595905944){break;} }
		for(i=17;i<39;i++){ buf[453]=(byte)i; if(sha1_32(buf)==1913909669){break;} }
		for(i=47;i<55;i++){ buf[454]=(byte)i; if(sha1_32(buf)==-2053360052){break;} }
		for(i=64;i<91;i++){ buf[455]=(byte)i; if(sha1_32(buf)==-897602730){break;} }
		for(i=47;i<54;i++){ buf[456]=(byte)i; if(sha1_32(buf)==-1915109890){break;} }
		for(i=103;i<122;i++){ buf[457]=(byte)i; if(sha1_32(buf)==-1286163094){break;} }
		for(i=-58;i<-54;i++){ buf[458]=(byte)i; if(sha1_32(buf)==1601666646){break;} }
		for(i=6;i<20;i++){ buf[459]=(byte)i; if(sha1_32(buf)==-570360123){break;} }
		for(i=-82;i<-70;i++){ buf[460]=(byte)i; if(sha1_32(buf)==1227999636){break;} }
		for(i=46;i<54;i++){ buf[461]=(byte)i; if(sha1_32(buf)==-1191287991){break;} }
		for(i=-60;i<-44;i++){ buf[462]=(byte)i; if(sha1_32(buf)==251338469){break;} }
		for(i=112;i<128;i++){ buf[463]=(byte)i; if(sha1_32(buf)==-45907603){break;} }
		for(i=-31;i<-14;i++){ buf[464]=(byte)i; if(sha1_32(buf)==-1006558294){break;} }
		for(i=-108;i<-96;i++){ buf[465]=(byte)i; if(sha1_32(buf)==-276347203){break;} }
		for(i=-123;i<-111;i++){ buf[466]=(byte)i; if(sha1_32(buf)==980320013){break;} }
		for(i=-72;i<-61;i++){ buf[467]=(byte)i; if(sha1_32(buf)==-458213152){break;} }
		for(i=23;i<43;i++){ buf[468]=(byte)i; if(sha1_32(buf)==332511157){break;} }
		for(i=-9;i<18;i++){ buf[469]=(byte)i; if(sha1_32(buf)==-1806560275){break;} }
		for(i=-109;i<-80;i++){ buf[470]=(byte)i; if(sha1_32(buf)==88802091){break;} }
		for(i=118;i<125;i++){ buf[471]=(byte)i; if(sha1_32(buf)==94697510){break;} }
		for(i=53;i<73;i++){ buf[472]=(byte)i; if(sha1_32(buf)==2025521706){break;} }
		for(i=-101;i<-83;i++){ buf[473]=(byte)i; if(sha1_32(buf)==1779210542){break;} }
		for(i=57;i<78;i++){ buf[474]=(byte)i; if(sha1_32(buf)==1314503015){break;} }
		for(i=37;i<57;i++){ buf[475]=(byte)i; if(sha1_32(buf)==1003883417){break;} }
		for(i=-77;i<-74;i++){ buf[476]=(byte)i; if(sha1_32(buf)==1074400900){break;} }
		for(i=-114;i<-102;i++){ buf[477]=(byte)i; if(sha1_32(buf)==1850766979){break;} }
		for(i=-38;i<-17;i++){ buf[478]=(byte)i; if(sha1_32(buf)==146034128){break;} }
		for(i=-78;i<-49;i++){ buf[479]=(byte)i; if(sha1_32(buf)==1923973474){break;} }
		for(i=93;i<118;i++){ buf[480]=(byte)i; if(sha1_32(buf)==1501029167){break;} }
		for(i=115;i<128;i++){ buf[481]=(byte)i; if(sha1_32(buf)==1305408334){break;} }
		for(i=-45;i<-39;i++){ buf[482]=(byte)i; if(sha1_32(buf)==-1167769544){break;} }
		for(i=-33;i<-17;i++){ buf[483]=(byte)i; if(sha1_32(buf)==-948182451){break;} }
		for(i=-32;i<-4;i++){ buf[484]=(byte)i; if(sha1_32(buf)==-963654855){break;} }
		for(i=101;i<114;i++){ buf[485]=(byte)i; if(sha1_32(buf)==-2004549494){break;} }
		for(i=52;i<57;i++){ buf[486]=(byte)i; if(sha1_32(buf)==-2086562663){break;} }
		for(i=-21;i<-8;i++){ buf[487]=(byte)i; if(sha1_32(buf)==2100162754){break;} }
		for(i=7;i<26;i++){ buf[488]=(byte)i; if(sha1_32(buf)==-1258457342){break;} }
		for(i=61;i<78;i++){ buf[489]=(byte)i; if(sha1_32(buf)==-1380103056){break;} }
		for(i=-128;i<-108;i++){ buf[490]=(byte)i; if(sha1_32(buf)==2062034234){break;} }
		for(i=95;i<113;i++){ buf[491]=(byte)i; if(sha1_32(buf)==-308223894){break;} }
		for(i=-95;i<-88;i++){ buf[492]=(byte)i; if(sha1_32(buf)==1742919881){break;} }
		for(i=-85;i<-59;i++){ buf[493]=(byte)i; if(sha1_32(buf)==-102213215){break;} }
		for(i=-119;i<-112;i++){ buf[494]=(byte)i; if(sha1_32(buf)==-881131668){break;} }
		for(i=-118;i<-102;i++){ buf[495]=(byte)i; if(sha1_32(buf)==1382667638){break;} }
		for(i=50;i<61;i++){ buf[496]=(byte)i; if(sha1_32(buf)==-1045178982){break;} }
		for(i=86;i<104;i++){ buf[497]=(byte)i; if(sha1_32(buf)==370077582){break;} }
		for(i=-74;i<-55;i++){ buf[498]=(byte)i; if(sha1_32(buf)==1282519219){break;} }
		for(i=106;i<113;i++){ buf[499]=(byte)i; if(sha1_32(buf)==-1382938443){break;} }
		for(i=118;i<128;i++){ buf[500]=(byte)i; if(sha1_32(buf)==-2002187937){break;} }
		for(i=-110;i<-81;i++){ buf[501]=(byte)i; if(sha1_32(buf)==982872991){break;} }
		for(i=-117;i<-99;i++){ buf[502]=(byte)i; if(sha1_32(buf)==-1278485275){break;} }
		for(i=113;i<119;i++){ buf[503]=(byte)i; if(sha1_32(buf)==1961673622){break;} }
		for(i=76;i<94;i++){ buf[504]=(byte)i; if(sha1_32(buf)==-1505771397){break;} }
		for(i=62;i<88;i++){ buf[505]=(byte)i; if(sha1_32(buf)==757582459){break;} }
		for(i=-61;i<-35;i++){ buf[506]=(byte)i; if(sha1_32(buf)==-1950590531){break;} }
		for(i=-24;i<-15;i++){ buf[507]=(byte)i; if(sha1_32(buf)==665116551){break;} }
		for(i=-24;i<-5;i++){ buf[508]=(byte)i; if(sha1_32(buf)==-770998448){break;} }
		for(i=80;i<94;i++){ buf[509]=(byte)i; if(sha1_32(buf)==-1686391565){break;} }
		for(i=-48;i<-19;i++){ buf[510]=(byte)i; if(sha1_32(buf)==1542342846){break;} }
		for(i=32;i<60;i++){ buf[511]=(byte)i; if(sha1_32(buf)==373844372){break;} }
		for(i=53;i<69;i++){ buf[512]=(byte)i; if(sha1_32(buf)==394997212){break;} }
		for(i=16;i<26;i++){ buf[513]=(byte)i; if(sha1_32(buf)==-1874133772){break;} }
		for(i=-31;i<-9;i++){ buf[514]=(byte)i; if(sha1_32(buf)==-601653456){break;} }
		for(i=-89;i<-70;i++){ buf[515]=(byte)i; if(sha1_32(buf)==186691804){break;} }
		for(i=6;i<31;i++){ buf[516]=(byte)i; if(sha1_32(buf)==-2061940944){break;} }
		for(i=-122;i<-101;i++){ buf[517]=(byte)i; if(sha1_32(buf)==2076917817){break;} }
		for(i=98;i<104;i++){ buf[518]=(byte)i; if(sha1_32(buf)==-1933941382){break;} }
		for(i=-51;i<-37;i++){ buf[519]=(byte)i; if(sha1_32(buf)==339035544){break;} }
		for(i=0;i<20;i++){ buf[520]=(byte)i; if(sha1_32(buf)==1234829131){break;} }
		for(i=111;i<128;i++){ buf[521]=(byte)i; if(sha1_32(buf)==1306739649){break;} }
		for(i=60;i<79;i++){ buf[522]=(byte)i; if(sha1_32(buf)==-520271622){break;} }
		for(i=-127;i<-117;i++){ buf[523]=(byte)i; if(sha1_32(buf)==-349808490){break;} }
		for(i=-63;i<-49;i++){ buf[524]=(byte)i; if(sha1_32(buf)==-416129711){break;} }
		for(i=19;i<32;i++){ buf[525]=(byte)i; if(sha1_32(buf)==-1238748024){break;} }
		for(i=-128;i<-114;i++){ buf[526]=(byte)i; if(sha1_32(buf)==1441007078){break;} }
		for(i=-74;i<-45;i++){ buf[527]=(byte)i; if(sha1_32(buf)==-1792354887){break;} }
		for(i=-96;i<-73;i++){ buf[528]=(byte)i; if(sha1_32(buf)==271183959){break;} }
		for(i=92;i<106;i++){ buf[529]=(byte)i; if(sha1_32(buf)==-1610167485){break;} }
		for(i=-61;i<-48;i++){ buf[530]=(byte)i; if(sha1_32(buf)==1608412060){break;} }
		for(i=-77;i<-69;i++){ buf[531]=(byte)i; if(sha1_32(buf)==-1467251971){break;} }
		for(i=-68;i<-55;i++){ buf[532]=(byte)i; if(sha1_32(buf)==1700054707){break;} }
		for(i=-83;i<-70;i++){ buf[533]=(byte)i; if(sha1_32(buf)==732642789){break;} }
		for(i=-49;i<-21;i++){ buf[534]=(byte)i; if(sha1_32(buf)==547909756){break;} }
		for(i=112;i<123;i++){ buf[535]=(byte)i; if(sha1_32(buf)==-403251084){break;} }
		for(i=55;i<78;i++){ buf[536]=(byte)i; if(sha1_32(buf)==-541448081){break;} }
		for(i=93;i<116;i++){ buf[537]=(byte)i; if(sha1_32(buf)==568971952){break;} }
		for(i=-113;i<-96;i++){ buf[538]=(byte)i; if(sha1_32(buf)==-159023557){break;} }
		for(i=-125;i<-112;i++){ buf[539]=(byte)i; if(sha1_32(buf)==578162010){break;} }
		for(i=86;i<105;i++){ buf[540]=(byte)i; if(sha1_32(buf)==1916129173){break;} }
		for(i=38;i<45;i++){ buf[541]=(byte)i; if(sha1_32(buf)==1842050194){break;} }
		for(i=104;i<115;i++){ buf[542]=(byte)i; if(sha1_32(buf)==1054171825){break;} }
		for(i=-78;i<-59;i++){ buf[543]=(byte)i; if(sha1_32(buf)==-564361588){break;} }
		for(i=-108;i<-101;i++){ buf[544]=(byte)i; if(sha1_32(buf)==647900048){break;} }
		for(i=92;i<113;i++){ buf[545]=(byte)i; if(sha1_32(buf)==-523561146){break;} }
		for(i=69;i<82;i++){ buf[546]=(byte)i; if(sha1_32(buf)==-37201605){break;} }
		for(i=-97;i<-82;i++){ buf[547]=(byte)i; if(sha1_32(buf)==-2132045534){break;} }
		for(i=45;i<61;i++){ buf[548]=(byte)i; if(sha1_32(buf)==-173314652){break;} }
		for(i=41;i<64;i++){ buf[549]=(byte)i; if(sha1_32(buf)==-948503444){break;} }
		for(i=2;i<12;i++){ buf[550]=(byte)i; if(sha1_32(buf)==-865040939){break;} }
		for(i=104;i<114;i++){ buf[551]=(byte)i; if(sha1_32(buf)==-1528404725){break;} }
		for(i=103;i<109;i++){ buf[552]=(byte)i; if(sha1_32(buf)==1300791720){break;} }
		for(i=93;i<105;i++){ buf[553]=(byte)i; if(sha1_32(buf)==2024243143){break;} }
		for(i=26;i<54;i++){ buf[554]=(byte)i; if(sha1_32(buf)==-281134266){break;} }
		for(i=-128;i<-111;i++){ buf[555]=(byte)i; if(sha1_32(buf)==782232194){break;} }
		for(i=6;i<24;i++){ buf[556]=(byte)i; if(sha1_32(buf)==-1743839639){break;} }
		for(i=-96;i<-71;i++){ buf[557]=(byte)i; if(sha1_32(buf)==-1466174515){break;} }
		for(i=-61;i<-41;i++){ buf[558]=(byte)i; if(sha1_32(buf)==1412290571){break;} }
		for(i=102;i<117;i++){ buf[559]=(byte)i; if(sha1_32(buf)==-1221985202){break;} }
		for(i=95;i<108;i++){ buf[560]=(byte)i; if(sha1_32(buf)==-929395299){break;} }
		for(i=-81;i<-71;i++){ buf[561]=(byte)i; if(sha1_32(buf)==1924367960){break;} }
		for(i=-53;i<-34;i++){ buf[562]=(byte)i; if(sha1_32(buf)==-517556690){break;} }
		for(i=-3;i<13;i++){ buf[563]=(byte)i; if(sha1_32(buf)==-517556690){break;} }
		for(i=10;i<24;i++){ buf[564]=(byte)i; if(sha1_32(buf)==-72247779){break;} }
		for(i=-71;i<-55;i++){ buf[565]=(byte)i; if(sha1_32(buf)==-352410031){break;} }
		for(i=24;i<46;i++){ buf[566]=(byte)i; if(sha1_32(buf)==-504611087){break;} }
		for(i=-14;i<7;i++){ buf[567]=(byte)i; if(sha1_32(buf)==1588399158){break;} }
		for(i=3;i<12;i++){ buf[568]=(byte)i; if(sha1_32(buf)==1085348868){break;} }
		for(i=68;i<79;i++){ buf[569]=(byte)i; if(sha1_32(buf)==2014631864){break;} }
		for(i=82;i<100;i++){ buf[570]=(byte)i; if(sha1_32(buf)==-2035497043){break;} }
		for(i=78;i<84;i++){ buf[571]=(byte)i; if(sha1_32(buf)==-1873252549){break;} }
		for(i=37;i<51;i++){ buf[572]=(byte)i; if(sha1_32(buf)==871007215){break;} }
		for(i=97;i<104;i++){ buf[573]=(byte)i; if(sha1_32(buf)==542660464){break;} }
		for(i=-93;i<-73;i++){ buf[574]=(byte)i; if(sha1_32(buf)==713358915){break;} }
		for(i=-54;i<-46;i++){ buf[575]=(byte)i; if(sha1_32(buf)==245187612){break;} }
		for(i=108;i<113;i++){ buf[576]=(byte)i; if(sha1_32(buf)==173770177){break;} }
		for(i=-56;i<-38;i++){ buf[577]=(byte)i; if(sha1_32(buf)==1040718051){break;} }
		for(i=29;i<41;i++){ buf[578]=(byte)i; if(sha1_32(buf)==-194429392){break;} }
		for(i=22;i<33;i++){ buf[579]=(byte)i; if(sha1_32(buf)==1593544600){break;} }
		for(i=87;i<115;i++){ buf[580]=(byte)i; if(sha1_32(buf)==-1957732979){break;} }
		for(i=-25;i<-11;i++){ buf[581]=(byte)i; if(sha1_32(buf)==1003663033){break;} }
		for(i=-101;i<-85;i++){ buf[582]=(byte)i; if(sha1_32(buf)==196841894){break;} }
		for(i=79;i<87;i++){ buf[583]=(byte)i; if(sha1_32(buf)==111815609){break;} }
		for(i=-19;i<-1;i++){ buf[584]=(byte)i; if(sha1_32(buf)==-2115754606){break;} }
		for(i=-106;i<-97;i++){ buf[585]=(byte)i; if(sha1_32(buf)==-1615810220){break;} }
		for(i=98;i<100;i++){ buf[586]=(byte)i; if(sha1_32(buf)==515842309){break;} }
		for(i=-63;i<-44;i++){ buf[587]=(byte)i; if(sha1_32(buf)==176045980){break;} }
		for(i=84;i<96;i++){ buf[588]=(byte)i; if(sha1_32(buf)==1408688909){break;} }
		for(i=32;i<55;i++){ buf[589]=(byte)i; if(sha1_32(buf)==-713417795){break;} }
		for(i=5;i<8;i++){ buf[590]=(byte)i; if(sha1_32(buf)==1181759275){break;} }
		for(i=111;i<128;i++){ buf[591]=(byte)i; if(sha1_32(buf)==695757661){break;} }
		for(i=95;i<107;i++){ buf[592]=(byte)i; if(sha1_32(buf)==-449560134){break;} }
		for(i=107;i<120;i++){ buf[593]=(byte)i; if(sha1_32(buf)==-1486700230){break;} }
		for(i=-113;i<-96;i++){ buf[594]=(byte)i; if(sha1_32(buf)==1520181939){break;} }
		for(i=72;i<87;i++){ buf[595]=(byte)i; if(sha1_32(buf)==724149198){break;} }
		for(i=-96;i<-88;i++){ buf[596]=(byte)i; if(sha1_32(buf)==-1046297555){break;} }
		for(i=-79;i<-64;i++){ buf[597]=(byte)i; if(sha1_32(buf)==1243412278){break;} }
		for(i=-41;i<-27;i++){ buf[598]=(byte)i; if(sha1_32(buf)==516001679){break;} }
		for(i=88;i<96;i++){ buf[599]=(byte)i; if(sha1_32(buf)==1550399049){break;} }
		for(i=2;i<18;i++){ buf[600]=(byte)i; if(sha1_32(buf)==1613830678){break;} }
		for(i=-3;i<12;i++){ buf[601]=(byte)i; if(sha1_32(buf)==2098302078){break;} }
		for(i=-95;i<-78;i++){ buf[602]=(byte)i; if(sha1_32(buf)==1779275521){break;} }
		for(i=-57;i<-36;i++){ buf[603]=(byte)i; if(sha1_32(buf)==1673054662){break;} }
		for(i=-76;i<-56;i++){ buf[604]=(byte)i; if(sha1_32(buf)==653297232){break;} }
		for(i=-99;i<-91;i++){ buf[605]=(byte)i; if(sha1_32(buf)==-2015916708){break;} }
		for(i=60;i<75;i++){ buf[606]=(byte)i; if(sha1_32(buf)==-1617444578){break;} }
		for(i=58;i<60;i++){ buf[607]=(byte)i; if(sha1_32(buf)==-229469808){break;} }
		for(i=-14;i<-1;i++){ buf[608]=(byte)i; if(sha1_32(buf)==-2035724026){break;} }
		for(i=73;i<89;i++){ buf[609]=(byte)i; if(sha1_32(buf)==1297528160){break;} }
		for(i=62;i<77;i++){ buf[610]=(byte)i; if(sha1_32(buf)==-1191800774){break;} }
		for(i=-64;i<-40;i++){ buf[611]=(byte)i; if(sha1_32(buf)==-1123551854){break;} }
		for(i=51;i<72;i++){ buf[612]=(byte)i; if(sha1_32(buf)==2125212903){break;} }
		for(i=-105;i<-98;i++){ buf[613]=(byte)i; if(sha1_32(buf)==-1569132065){break;} }
		for(i=23;i<39;i++){ buf[614]=(byte)i; if(sha1_32(buf)==-798196161){break;} }
		for(i=58;i<72;i++){ buf[615]=(byte)i; if(sha1_32(buf)==-398758360){break;} }
		for(i=-33;i<-20;i++){ buf[616]=(byte)i; if(sha1_32(buf)==-541183838){break;} }
		for(i=-30;i<-10;i++){ buf[617]=(byte)i; if(sha1_32(buf)==-175436570){break;} }
		for(i=-24;i<-19;i++){ buf[618]=(byte)i; if(sha1_32(buf)==1529716528){break;} }
		for(i=-4;i<18;i++){ buf[619]=(byte)i; if(sha1_32(buf)==1233513301){break;} }
		for(i=93;i<101;i++){ buf[620]=(byte)i; if(sha1_32(buf)==-895867601){break;} }
		for(i=33;i<46;i++){ buf[621]=(byte)i; if(sha1_32(buf)==-210198432){break;} }
		for(i=112;i<128;i++){ buf[622]=(byte)i; if(sha1_32(buf)==263155827){break;} }
		for(i=-16;i<6;i++){ buf[623]=(byte)i; if(sha1_32(buf)==-2063927217){break;} }
		for(i=-31;i<-23;i++){ buf[624]=(byte)i; if(sha1_32(buf)==-1013712272){break;} }
		for(i=-14;i<3;i++){ buf[625]=(byte)i; if(sha1_32(buf)==-331389383){break;} }
		for(i=-93;i<-81;i++){ buf[626]=(byte)i; if(sha1_32(buf)==75278538){break;} }
		for(i=-93;i<-79;i++){ buf[627]=(byte)i; if(sha1_32(buf)==-1745486071){break;} }
		for(i=-21;i<-4;i++){ buf[628]=(byte)i; if(sha1_32(buf)==1987464420){break;} }
		for(i=-87;i<-73;i++){ buf[629]=(byte)i; if(sha1_32(buf)==1246997086){break;} }
		for(i=40;i<53;i++){ buf[630]=(byte)i; if(sha1_32(buf)==763014186){break;} }
		for(i=-101;i<-96;i++){ buf[631]=(byte)i; if(sha1_32(buf)==660113374){break;} }
		for(i=79;i<96;i++){ buf[632]=(byte)i; if(sha1_32(buf)==1678202176){break;} }
		for(i=-35;i<-28;i++){ buf[633]=(byte)i; if(sha1_32(buf)==-775062159){break;} }
		for(i=-64;i<-45;i++){ buf[634]=(byte)i; if(sha1_32(buf)==-1126239694){break;} }
		for(i=-85;i<-62;i++){ buf[635]=(byte)i; if(sha1_32(buf)==1656730584){break;} }
		for(i=4;i<22;i++){ buf[636]=(byte)i; if(sha1_32(buf)==-463644682){break;} }
		for(i=4;i<23;i++){ buf[637]=(byte)i; if(sha1_32(buf)==-139328279){break;} }
		for(i=37;i<61;i++){ buf[638]=(byte)i; if(sha1_32(buf)==885960154){break;} }
		for(i=-53;i<-32;i++){ buf[639]=(byte)i; if(sha1_32(buf)==1025101393){break;} }
		for(i=-48;i<-32;i++){ buf[640]=(byte)i; if(sha1_32(buf)==1747311944){break;} }
		for(i=-31;i<-28;i++){ buf[641]=(byte)i; if(sha1_32(buf)==-551094){break;} }
		for(i=85;i<113;i++){ buf[642]=(byte)i; if(sha1_32(buf)==-457603064){break;} }
		for(i=-95;i<-72;i++){ buf[643]=(byte)i; if(sha1_32(buf)==-1581765902){break;} }
		for(i=80;i<101;i++){ buf[644]=(byte)i; if(sha1_32(buf)==1394984995){break;} }
		for(i=-126;i<-109;i++){ buf[645]=(byte)i; if(sha1_32(buf)==1078453818){break;} }
		for(i=21;i<24;i++){ buf[646]=(byte)i; if(sha1_32(buf)==-829421379){break;} }
		for(i=-124;i<-112;i++){ buf[647]=(byte)i; if(sha1_32(buf)==-370961504){break;} }
		for(i=-117;i<-91;i++){ buf[648]=(byte)i; if(sha1_32(buf)==1865117712){break;} }
		for(i=10;i<27;i++){ buf[649]=(byte)i; if(sha1_32(buf)==-2057891300){break;} }
		for(i=-60;i<-40;i++){ buf[650]=(byte)i; if(sha1_32(buf)==-2012806273){break;} }
		for(i=122;i<128;i++){ buf[651]=(byte)i; if(sha1_32(buf)==2099989901){break;} }
		for(i=-9;i<-4;i++){ buf[652]=(byte)i; if(sha1_32(buf)==-2024742085){break;} }
		for(i=101;i<108;i++){ buf[653]=(byte)i; if(sha1_32(buf)==-1238445799){break;} }
		for(i=-128;i<-115;i++){ buf[654]=(byte)i; if(sha1_32(buf)==-1292465032){break;} }
		for(i=-94;i<-72;i++){ buf[655]=(byte)i; if(sha1_32(buf)==236858579){break;} }
		for(i=-121;i<-105;i++){ buf[656]=(byte)i; if(sha1_32(buf)==2107986035){break;} }
		for(i=51;i<55;i++){ buf[657]=(byte)i; if(sha1_32(buf)==605074848){break;} }
		for(i=-55;i<-42;i++){ buf[658]=(byte)i; if(sha1_32(buf)==91043783){break;} }
		for(i=45;i<67;i++){ buf[659]=(byte)i; if(sha1_32(buf)==1141451359){break;} }
		for(i=-117;i<-105;i++){ buf[660]=(byte)i; if(sha1_32(buf)==1493189118){break;} }
		for(i=105;i<122;i++){ buf[661]=(byte)i; if(sha1_32(buf)==-1312701467){break;} }
		for(i=-116;i<-96;i++){ buf[662]=(byte)i; if(sha1_32(buf)==-81724738){break;} }
		for(i=38;i<52;i++){ buf[663]=(byte)i; if(sha1_32(buf)==544317328){break;} }
		for(i=-55;i<-42;i++){ buf[664]=(byte)i; if(sha1_32(buf)==346219273){break;} }
		for(i=-72;i<-59;i++){ buf[665]=(byte)i; if(sha1_32(buf)==-2071256949){break;} }
		for(i=-61;i<-30;i++){ buf[666]=(byte)i; if(sha1_32(buf)==-408046492){break;} }
		for(i=62;i<84;i++){ buf[667]=(byte)i; if(sha1_32(buf)==894023507){break;} }
		for(i=-119;i<-104;i++){ buf[668]=(byte)i; if(sha1_32(buf)==1787919601){break;} }
		for(i=21;i<34;i++){ buf[669]=(byte)i; if(sha1_32(buf)==-869840172){break;} }
		for(i=56;i<71;i++){ buf[670]=(byte)i; if(sha1_32(buf)==536989798){break;} }
		for(i=2;i<15;i++){ buf[671]=(byte)i; if(sha1_32(buf)==-1203406366){break;} }
		for(i=36;i<49;i++){ buf[672]=(byte)i; if(sha1_32(buf)==-1002681369){break;} }
		for(i=121;i<128;i++){ buf[673]=(byte)i; if(sha1_32(buf)==414121665){break;} }
		for(i=-87;i<-62;i++){ buf[674]=(byte)i; if(sha1_32(buf)==1289379852){break;} }
		for(i=73;i<77;i++){ buf[675]=(byte)i; if(sha1_32(buf)==163514421){break;} }
		for(i=-127;i<-113;i++){ buf[676]=(byte)i; if(sha1_32(buf)==842190505){break;} }
		for(i=-86;i<-72;i++){ buf[677]=(byte)i; if(sha1_32(buf)==-709000943){break;} }
		for(i=-63;i<-43;i++){ buf[678]=(byte)i; if(sha1_32(buf)==-336346093){break;} }
		for(i=22;i<46;i++){ buf[679]=(byte)i; if(sha1_32(buf)==-1669506180){break;} }
		for(i=-92;i<-70;i++){ buf[680]=(byte)i; if(sha1_32(buf)==-1800407972){break;} }
		for(i=93;i<108;i++){ buf[681]=(byte)i; if(sha1_32(buf)==2009513337){break;} }
		for(i=-35;i<-19;i++){ buf[682]=(byte)i; if(sha1_32(buf)==-1668158546){break;} }
		for(i=66;i<79;i++){ buf[683]=(byte)i; if(sha1_32(buf)==699055794){break;} }
		for(i=56;i<68;i++){ buf[684]=(byte)i; if(sha1_32(buf)==-897175420){break;} }
		for(i=-28;i<-7;i++){ buf[685]=(byte)i; if(sha1_32(buf)==-206988528){break;} }
		for(i=51;i<68;i++){ buf[686]=(byte)i; if(sha1_32(buf)==-1587336363){break;} }
		for(i=98;i<119;i++){ buf[687]=(byte)i; if(sha1_32(buf)==-964629510){break;} }
		for(i=24;i<31;i++){ buf[688]=(byte)i; if(sha1_32(buf)==2136149164){break;} }
		for(i=114;i<128;i++){ buf[689]=(byte)i; if(sha1_32(buf)==268529728){break;} }
		for(i=-123;i<-103;i++){ buf[690]=(byte)i; if(sha1_32(buf)==1851942693){break;} }
		for(i=106;i<119;i++){ buf[691]=(byte)i; if(sha1_32(buf)==1816928898){break;} }
		for(i=-86;i<-74;i++){ buf[692]=(byte)i; if(sha1_32(buf)==-2048314639){break;} }
		for(i=-94;i<-69;i++){ buf[693]=(byte)i; if(sha1_32(buf)==1553631333){break;} }
		for(i=-34;i<-17;i++){ buf[694]=(byte)i; if(sha1_32(buf)==-324260171){break;} }
		for(i=-57;i<-52;i++){ buf[695]=(byte)i; if(sha1_32(buf)==-1176933333){break;} }
		for(i=63;i<76;i++){ buf[696]=(byte)i; if(sha1_32(buf)==1822443693){break;} }
		for(i=-3;i<11;i++){ buf[697]=(byte)i; if(sha1_32(buf)==-818242691){break;} }
		for(i=-127;i<-113;i++){ buf[698]=(byte)i; if(sha1_32(buf)==-2069232735){break;} }
		for(i=107;i<127;i++){ buf[699]=(byte)i; if(sha1_32(buf)==-938715669){break;} }
		for(i=-48;i<-25;i++){ buf[700]=(byte)i; if(sha1_32(buf)==-1112849407){break;} }
		for(i=96;i<112;i++){ buf[701]=(byte)i; if(sha1_32(buf)==979316661){break;} }
		for(i=-117;i<-99;i++){ buf[702]=(byte)i; if(sha1_32(buf)==-1066681674){break;} }
		for(i=-17;i<-1;i++){ buf[703]=(byte)i; if(sha1_32(buf)==1756795206){break;} }
		for(i=93;i<113;i++){ buf[704]=(byte)i; if(sha1_32(buf)==1200252631){break;} }
		for(i=-106;i<-95;i++){ buf[705]=(byte)i; if(sha1_32(buf)==-624486237){break;} }
		for(i=115;i<128;i++){ buf[706]=(byte)i; if(sha1_32(buf)==-535055587){break;} }
		for(i=60;i<83;i++){ buf[707]=(byte)i; if(sha1_32(buf)==2032559228){break;} }
		for(i=110;i<128;i++){ buf[708]=(byte)i; if(sha1_32(buf)==-1803417987){break;} }
		for(i=-126;i<-111;i++){ buf[709]=(byte)i; if(sha1_32(buf)==-955286054){break;} }
		for(i=112;i<128;i++){ buf[710]=(byte)i; if(sha1_32(buf)==-1444486074){break;} }
		for(i=-105;i<-89;i++){ buf[711]=(byte)i; if(sha1_32(buf)==734061675){break;} }
		for(i=-26;i<-15;i++){ buf[712]=(byte)i; if(sha1_32(buf)==-186433993){break;} }
		for(i=-68;i<-57;i++){ buf[713]=(byte)i; if(sha1_32(buf)==-1330838319){break;} }
		for(i=39;i<53;i++){ buf[714]=(byte)i; if(sha1_32(buf)==-719619011){break;} }
		for(i=14;i<31;i++){ buf[715]=(byte)i; if(sha1_32(buf)==-1552183314){break;} }
		for(i=64;i<70;i++){ buf[716]=(byte)i; if(sha1_32(buf)==-1135079296){break;} }
		for(i=73;i<95;i++){ buf[717]=(byte)i; if(sha1_32(buf)==-117498347){break;} }
		for(i=44;i<67;i++){ buf[718]=(byte)i; if(sha1_32(buf)==-1842485546){break;} }
		for(i=24;i<48;i++){ buf[719]=(byte)i; if(sha1_32(buf)==781132198){break;} }
		for(i=-7;i<4;i++){ buf[720]=(byte)i; if(sha1_32(buf)==-605066085){break;} }
		for(i=12;i<26;i++){ buf[721]=(byte)i; if(sha1_32(buf)==-1047635088){break;} }
		for(i=-107;i<-92;i++){ buf[722]=(byte)i; if(sha1_32(buf)==-1855955674){break;} }
		for(i=-15;i<7;i++){ buf[723]=(byte)i; if(sha1_32(buf)==484615808){break;} }
		for(i=-38;i<-16;i++){ buf[724]=(byte)i; if(sha1_32(buf)==1942078961){break;} }
		for(i=71;i<90;i++){ buf[725]=(byte)i; if(sha1_32(buf)==686628790){break;} }
		for(i=-79;i<-61;i++){ buf[726]=(byte)i; if(sha1_32(buf)==1016998251){break;} }
		for(i=-115;i<-93;i++){ buf[727]=(byte)i; if(sha1_32(buf)==-1421299060){break;} }
		for(i=-58;i<-33;i++){ buf[728]=(byte)i; if(sha1_32(buf)==-1955866299){break;} }
		for(i=93;i<122;i++){ buf[729]=(byte)i; if(sha1_32(buf)==1774757831){break;} }
		for(i=-124;i<-109;i++){ buf[730]=(byte)i; if(sha1_32(buf)==-1859512975){break;} }
		for(i=-74;i<-46;i++){ buf[731]=(byte)i; if(sha1_32(buf)==1574588026){break;} }
		for(i=-95;i<-79;i++){ buf[732]=(byte)i; if(sha1_32(buf)==1081796595){break;} }
		for(i=85;i<104;i++){ buf[733]=(byte)i; if(sha1_32(buf)==-2011964126){break;} }
		for(i=-116;i<-96;i++){ buf[734]=(byte)i; if(sha1_32(buf)==392425749){break;} }
		for(i=27;i<43;i++){ buf[735]=(byte)i; if(sha1_32(buf)==-345924413){break;} }
		for(i=-65;i<-62;i++){ buf[736]=(byte)i; if(sha1_32(buf)==-1166383726){break;} }
		for(i=-127;i<-107;i++){ buf[737]=(byte)i; if(sha1_32(buf)==1876184164){break;} }
		for(i=21;i<30;i++){ buf[738]=(byte)i; if(sha1_32(buf)==-771543756){break;} }
		for(i=31;i<52;i++){ buf[739]=(byte)i; if(sha1_32(buf)==-1709528251){break;} }
		for(i=-97;i<-78;i++){ buf[740]=(byte)i; if(sha1_32(buf)==1772463389){break;} }
		for(i=-25;i<-12;i++){ buf[741]=(byte)i; if(sha1_32(buf)==1507465229){break;} }
		for(i=-21;i<2;i++){ buf[742]=(byte)i; if(sha1_32(buf)==1746071814){break;} }
		for(i=19;i<23;i++){ buf[743]=(byte)i; if(sha1_32(buf)==-672316312){break;} }
		for(i=29;i<53;i++){ buf[744]=(byte)i; if(sha1_32(buf)==-1544829644){break;} }
		for(i=-8;i<10;i++){ buf[745]=(byte)i; if(sha1_32(buf)==1661398141){break;} }
		for(i=-20;i<-7;i++){ buf[746]=(byte)i; if(sha1_32(buf)==1408269908){break;} }
		for(i=-24;i<1;i++){ buf[747]=(byte)i; if(sha1_32(buf)==16970657){break;} }
		for(i=-101;i<-82;i++){ buf[748]=(byte)i; if(sha1_32(buf)==1479688237){break;} }
		for(i=-75;i<-58;i++){ buf[749]=(byte)i; if(sha1_32(buf)==53191658){break;} }
		for(i=20;i<39;i++){ buf[750]=(byte)i; if(sha1_32(buf)==1304592127){break;} }
		for(i=104;i<125;i++){ buf[751]=(byte)i; if(sha1_32(buf)==779049093){break;} }
		for(i=85;i<94;i++){ buf[752]=(byte)i; if(sha1_32(buf)==1983899151){break;} }
		for(i=-114;i<-95;i++){ buf[753]=(byte)i; if(sha1_32(buf)==-645326153){break;} }
		for(i=-14;i<6;i++){ buf[754]=(byte)i; if(sha1_32(buf)==-1453278278){break;} }
		for(i=-32;i<-11;i++){ buf[755]=(byte)i; if(sha1_32(buf)==-1058086070){break;} }
		for(i=32;i<39;i++){ buf[756]=(byte)i; if(sha1_32(buf)==-1688180995){break;} }
		for(i=41;i<59;i++){ buf[757]=(byte)i; if(sha1_32(buf)==524727015){break;} }
		for(i=52;i<64;i++){ buf[758]=(byte)i; if(sha1_32(buf)==540230594){break;} }
		for(i=88;i<112;i++){ buf[759]=(byte)i; if(sha1_32(buf)==1956146710){break;} }
		for(i=-117;i<-106;i++){ buf[760]=(byte)i; if(sha1_32(buf)==-669802569){break;} }
		for(i=-47;i<-42;i++){ buf[761]=(byte)i; if(sha1_32(buf)==1472661387){break;} }
		for(i=30;i<41;i++){ buf[762]=(byte)i; if(sha1_32(buf)==1846022313){break;} }
		for(i=110;i<128;i++){ buf[763]=(byte)i; if(sha1_32(buf)==-1285891638){break;} }
		for(i=86;i<112;i++){ buf[764]=(byte)i; if(sha1_32(buf)==-1392990364){break;} }
		for(i=-104;i<-80;i++){ buf[765]=(byte)i; if(sha1_32(buf)==-1296067605){break;} }
		for(i=-112;i<-100;i++){ buf[766]=(byte)i; if(sha1_32(buf)==1977280259){break;} }
		for(i=-74;i<-56;i++){ buf[767]=(byte)i; if(sha1_32(buf)==139088718){break;} }
		for(i=-51;i<-34;i++){ buf[768]=(byte)i; if(sha1_32(buf)==-1750016381){break;} }
		for(i=58;i<77;i++){ buf[769]=(byte)i; if(sha1_32(buf)==-1322496948){break;} }
		for(i=24;i<34;i++){ buf[770]=(byte)i; if(sha1_32(buf)==588183374){break;} }
		for(i=-40;i<-23;i++){ buf[771]=(byte)i; if(sha1_32(buf)==1600456772){break;} }
		for(i=95;i<112;i++){ buf[772]=(byte)i; if(sha1_32(buf)==-1997456308){break;} }
		for(i=-57;i<-46;i++){ buf[773]=(byte)i; if(sha1_32(buf)==-165280509){break;} }
		for(i=-95;i<-84;i++){ buf[774]=(byte)i; if(sha1_32(buf)==1182328044){break;} }
		for(i=15;i<43;i++){ buf[775]=(byte)i; if(sha1_32(buf)==492344257){break;} }
		for(i=67;i<75;i++){ buf[776]=(byte)i; if(sha1_32(buf)==-370893170){break;} }
		for(i=1;i<20;i++){ buf[777]=(byte)i; if(sha1_32(buf)==-1403785744){break;} }
		for(i=-119;i<-112;i++){ buf[778]=(byte)i; if(sha1_32(buf)==138999136){break;} }
		for(i=-93;i<-78;i++){ buf[779]=(byte)i; if(sha1_32(buf)==-155468558){break;} }
		for(i=52;i<70;i++){ buf[780]=(byte)i; if(sha1_32(buf)==-567889282){break;} }
		for(i=2;i<14;i++){ buf[781]=(byte)i; if(sha1_32(buf)==698646175){break;} }
		for(i=25;i<47;i++){ buf[782]=(byte)i; if(sha1_32(buf)==-1617832312){break;} }
		for(i=-75;i<-53;i++){ buf[783]=(byte)i; if(sha1_32(buf)==-357919086){break;} }
		for(i=-89;i<-68;i++){ buf[784]=(byte)i; if(sha1_32(buf)==-1903617134){break;} }
		for(i=55;i<66;i++){ buf[785]=(byte)i; if(sha1_32(buf)==1647973239){break;} }
		for(i=109;i<128;i++){ buf[786]=(byte)i; if(sha1_32(buf)==-2093509150){break;} }
		for(i=-70;i<-54;i++){ buf[787]=(byte)i; if(sha1_32(buf)==-1866342382){break;} }
		for(i=-54;i<-29;i++){ buf[788]=(byte)i; if(sha1_32(buf)==1028857920){break;} }
		for(i=57;i<88;i++){ buf[789]=(byte)i; if(sha1_32(buf)==-561571434){break;} }
		for(i=-39;i<-23;i++){ buf[790]=(byte)i; if(sha1_32(buf)==279450425){break;} }
		for(i=57;i<70;i++){ buf[791]=(byte)i; if(sha1_32(buf)==-1197522281){break;} }
		for(i=-65;i<-46;i++){ buf[792]=(byte)i; if(sha1_32(buf)==-1763066568){break;} }
		for(i=-88;i<-79;i++){ buf[793]=(byte)i; if(sha1_32(buf)==-846317468){break;} }
		for(i=-93;i<-68;i++){ buf[794]=(byte)i; if(sha1_32(buf)==-2041602576){break;} }
		for(i=-78;i<-55;i++){ buf[795]=(byte)i; if(sha1_32(buf)==463236060){break;} }
		for(i=-9;i<4;i++){ buf[796]=(byte)i; if(sha1_32(buf)==296173635){break;} }
		for(i=-33;i<-17;i++){ buf[797]=(byte)i; if(sha1_32(buf)==1124840210){break;} }
		for(i=-69;i<-46;i++){ buf[798]=(byte)i; if(sha1_32(buf)==-896862605){break;} }
		for(i=-128;i<-113;i++){ buf[799]=(byte)i; if(sha1_32(buf)==1792525144){break;} }
		for(i=-26;i<-15;i++){ buf[800]=(byte)i; if(sha1_32(buf)==1400413026){break;} }
		for(i=-115;i<-100;i++){ buf[801]=(byte)i; if(sha1_32(buf)==-236810254){break;} }
		for(i=52;i<71;i++){ buf[802]=(byte)i; if(sha1_32(buf)==-1895417918){break;} }
		for(i=-128;i<-119;i++){ buf[803]=(byte)i; if(sha1_32(buf)==1563800776){break;} }
		for(i=-113;i<-90;i++){ buf[804]=(byte)i; if(sha1_32(buf)==-506227970){break;} }
		for(i=70;i<71;i++){ buf[805]=(byte)i; if(sha1_32(buf)==-1904406432){break;} }
		for(i=-107;i<-84;i++){ buf[806]=(byte)i; if(sha1_32(buf)==1527669599){break;} }
		for(i=-12;i<7;i++){ buf[807]=(byte)i; if(sha1_32(buf)==1734753845){break;} }
		for(i=-128;i<-120;i++){ buf[808]=(byte)i; if(sha1_32(buf)==1213925535){break;} }
		for(i=-128;i<-124;i++){ buf[809]=(byte)i; if(sha1_32(buf)==-557503298){break;} }
		for(i=-17;i<5;i++){ buf[810]=(byte)i; if(sha1_32(buf)==2065808169){break;} }
		for(i=-32;i<-12;i++){ buf[811]=(byte)i; if(sha1_32(buf)==-1706704620){break;} }
		for(i=-108;i<-96;i++){ buf[812]=(byte)i; if(sha1_32(buf)==-1807678885){break;} }
		for(i=27;i<43;i++){ buf[813]=(byte)i; if(sha1_32(buf)==-1181342504){break;} }
		for(i=114;i<121;i++){ buf[814]=(byte)i; if(sha1_32(buf)==293785074){break;} }
		for(i=49;i<61;i++){ buf[815]=(byte)i; if(sha1_32(buf)==1024397235){break;} }
		for(i=-10;i<16;i++){ buf[816]=(byte)i; if(sha1_32(buf)==-1675661004){break;} }
		for(i=-121;i<-103;i++){ buf[817]=(byte)i; if(sha1_32(buf)==-510616742){break;} }
		for(i=-56;i<-43;i++){ buf[818]=(byte)i; if(sha1_32(buf)==428578061){break;} }
		for(i=-68;i<-55;i++){ buf[819]=(byte)i; if(sha1_32(buf)==945764855){break;} }
		for(i=-84;i<-75;i++){ buf[820]=(byte)i; if(sha1_32(buf)==227701449){break;} }
		for(i=-98;i<-89;i++){ buf[821]=(byte)i; if(sha1_32(buf)==396980073){break;} }
		for(i=-116;i<-96;i++){ buf[822]=(byte)i; if(sha1_32(buf)==-1688428510){break;} }
		for(i=108;i<120;i++){ buf[823]=(byte)i; if(sha1_32(buf)==1482562216){break;} }
		for(i=60;i<78;i++){ buf[824]=(byte)i; if(sha1_32(buf)==-1791494745){break;} }
		for(i=-57;i<-45;i++){ buf[825]=(byte)i; if(sha1_32(buf)==400278061){break;} }
		for(i=117;i<128;i++){ buf[826]=(byte)i; if(sha1_32(buf)==700663325){break;} }
		for(i=85;i<99;i++){ buf[827]=(byte)i; if(sha1_32(buf)==1014452930){break;} }
		for(i=58;i<77;i++){ buf[828]=(byte)i; if(sha1_32(buf)==967449078){break;} }
		for(i=-57;i<-44;i++){ buf[829]=(byte)i; if(sha1_32(buf)==-171736913){break;} }
		for(i=-2;i<15;i++){ buf[830]=(byte)i; if(sha1_32(buf)==-143666773){break;} }
		for(i=79;i<94;i++){ buf[831]=(byte)i; if(sha1_32(buf)==-1516731959){break;} }
		for(i=112;i<123;i++){ buf[832]=(byte)i; if(sha1_32(buf)==1146931343){break;} }
		for(i=-119;i<-104;i++){ buf[833]=(byte)i; if(sha1_32(buf)==-1439920985){break;} }
		for(i=117;i<128;i++){ buf[834]=(byte)i; if(sha1_32(buf)==-2071031879){break;} }
		for(i=-128;i<-109;i++){ buf[835]=(byte)i; if(sha1_32(buf)==-1545506353){break;} }
		for(i=4;i<20;i++){ buf[836]=(byte)i; if(sha1_32(buf)==1691838513){break;} }
		for(i=-105;i<-92;i++){ buf[837]=(byte)i; if(sha1_32(buf)==-1610998287){break;} }
		for(i=50;i<60;i++){ buf[838]=(byte)i; if(sha1_32(buf)==781050538){break;} }
		for(i=-34;i<-22;i++){ buf[839]=(byte)i; if(sha1_32(buf)==640961410){break;} }
		for(i=-11;i<-7;i++){ buf[840]=(byte)i; if(sha1_32(buf)==-161364933){break;} }
		for(i=-7;i<7;i++){ buf[841]=(byte)i; if(sha1_32(buf)==2130953223){break;} }
		for(i=-107;i<-95;i++){ buf[842]=(byte)i; if(sha1_32(buf)==1163935510){break;} }
		for(i=-76;i<-56;i++){ buf[843]=(byte)i; if(sha1_32(buf)==461851834){break;} }
		for(i=48;i<73;i++){ buf[844]=(byte)i; if(sha1_32(buf)==897181316){break;} }
		for(i=-45;i<-34;i++){ buf[845]=(byte)i; if(sha1_32(buf)==-1584120708){break;} }
		for(i=-126;i<-107;i++){ buf[846]=(byte)i; if(sha1_32(buf)==-998515786){break;} }
		for(i=58;i<73;i++){ buf[847]=(byte)i; if(sha1_32(buf)==-1899883194){break;} }
		for(i=84;i<103;i++){ buf[848]=(byte)i; if(sha1_32(buf)==-502308867){break;} }
		for(i=-96;i<-93;i++){ buf[849]=(byte)i; if(sha1_32(buf)==1717612535){break;} }
		for(i=103;i<110;i++){ buf[850]=(byte)i; if(sha1_32(buf)==479493173){break;} }
		for(i=46;i<68;i++){ buf[851]=(byte)i; if(sha1_32(buf)==-327379510){break;} }
		for(i=-24;i<-5;i++){ buf[852]=(byte)i; if(sha1_32(buf)==-1893194587){break;} }
		for(i=57;i<68;i++){ buf[853]=(byte)i; if(sha1_32(buf)==921040690){break;} }
		for(i=-104;i<-76;i++){ buf[854]=(byte)i; if(sha1_32(buf)==539695633){break;} }
		for(i=-9;i<9;i++){ buf[855]=(byte)i; if(sha1_32(buf)==-1826950056){break;} }
		for(i=24;i<41;i++){ buf[856]=(byte)i; if(sha1_32(buf)==-703422346){break;} }
		for(i=77;i<95;i++){ buf[857]=(byte)i; if(sha1_32(buf)==-2121904178){break;} }
		for(i=-48;i<-21;i++){ buf[858]=(byte)i; if(sha1_32(buf)==-1672046966){break;} }
		for(i=78;i<82;i++){ buf[859]=(byte)i; if(sha1_32(buf)==535069715){break;} }
		for(i=95;i<103;i++){ buf[860]=(byte)i; if(sha1_32(buf)==-2133500482){break;} }
		for(i=-20;i<-13;i++){ buf[861]=(byte)i; if(sha1_32(buf)==-1238168795){break;} }
		for(i=-119;i<-107;i++){ buf[862]=(byte)i; if(sha1_32(buf)==316386518){break;} }
		for(i=10;i<12;i++){ buf[863]=(byte)i; if(sha1_32(buf)==1784373226){break;} }
		for(i=-102;i<-90;i++){ buf[864]=(byte)i; if(sha1_32(buf)==1432083203){break;} }
		for(i=-115;i<-111;i++){ buf[865]=(byte)i; if(sha1_32(buf)==-1967092454){break;} }
		for(i=88;i<105;i++){ buf[866]=(byte)i; if(sha1_32(buf)==871532239){break;} }
		for(i=103;i<128;i++){ buf[867]=(byte)i; if(sha1_32(buf)==2072619865){break;} }
		for(i=35;i<60;i++){ buf[868]=(byte)i; if(sha1_32(buf)==850585242){break;} }
		for(i=37;i<57;i++){ buf[869]=(byte)i; if(sha1_32(buf)==408827900){break;} }
		for(i=-118;i<-108;i++){ buf[870]=(byte)i; if(sha1_32(buf)==-231943495){break;} }
		for(i=-41;i<-31;i++){ buf[871]=(byte)i; if(sha1_32(buf)==-2014577535){break;} }
		for(i=-102;i<-89;i++){ buf[872]=(byte)i; if(sha1_32(buf)==253656685){break;} }
		for(i=-127;i<-121;i++){ buf[873]=(byte)i; if(sha1_32(buf)==332109869){break;} }
		for(i=-94;i<-80;i++){ buf[874]=(byte)i; if(sha1_32(buf)==1409732595){break;} }
		for(i=63;i<81;i++){ buf[875]=(byte)i; if(sha1_32(buf)==332873470){break;} }
		for(i=98;i<107;i++){ buf[876]=(byte)i; if(sha1_32(buf)==-1013907348){break;} }
		for(i=-92;i<-81;i++){ buf[877]=(byte)i; if(sha1_32(buf)==-148643995){break;} }
		for(i=-128;i<-122;i++){ buf[878]=(byte)i; if(sha1_32(buf)==192853971){break;} }
		for(i=-124;i<-110;i++){ buf[879]=(byte)i; if(sha1_32(buf)==-1964930980){break;} }
		for(i=-82;i<-65;i++){ buf[880]=(byte)i; if(sha1_32(buf)==-2123529918){break;} }
		for(i=16;i<24;i++){ buf[881]=(byte)i; if(sha1_32(buf)==-737529488){break;} }
		for(i=6;i<17;i++){ buf[882]=(byte)i; if(sha1_32(buf)==-1658470694){break;} }
		for(i=-68;i<-66;i++){ buf[883]=(byte)i; if(sha1_32(buf)==-205018003){break;} }
		for(i=-97;i<-69;i++){ buf[884]=(byte)i; if(sha1_32(buf)==-211681288){break;} }
		for(i=94;i<98;i++){ buf[885]=(byte)i; if(sha1_32(buf)==-1538840495){break;} }
		for(i=-114;i<-102;i++){ buf[886]=(byte)i; if(sha1_32(buf)==1203749464){break;} }
		for(i=27;i<56;i++){ buf[887]=(byte)i; if(sha1_32(buf)==-1303392657){break;} }
		for(i=1;i<14;i++){ buf[888]=(byte)i; if(sha1_32(buf)==348281866){break;} }
		for(i=-41;i<-13;i++){ buf[889]=(byte)i; if(sha1_32(buf)==1298077899){break;} }
		for(i=30;i<34;i++){ buf[890]=(byte)i; if(sha1_32(buf)==-1996791500){break;} }
		for(i=85;i<112;i++){ buf[891]=(byte)i; if(sha1_32(buf)==1044097339){break;} }
		for(i=-96;i<-83;i++){ buf[892]=(byte)i; if(sha1_32(buf)==-1354472302){break;} }
		for(i=52;i<59;i++){ buf[893]=(byte)i; if(sha1_32(buf)==-1458593997){break;} }
		for(i=20;i<38;i++){ buf[894]=(byte)i; if(sha1_32(buf)==2012296896){break;} }
		for(i=-67;i<-48;i++){ buf[895]=(byte)i; if(sha1_32(buf)==-994592222){break;} }
		for(i=-103;i<-83;i++){ buf[896]=(byte)i; if(sha1_32(buf)==-50331505){break;} }
		for(i=-44;i<-21;i++){ buf[897]=(byte)i; if(sha1_32(buf)==1228332568){break;} }
		for(i=83;i<101;i++){ buf[898]=(byte)i; if(sha1_32(buf)==-1303843155){break;} }
		for(i=71;i<95;i++){ buf[899]=(byte)i; if(sha1_32(buf)==-805542103){break;} }
		for(i=-22;i<-2;i++){ buf[900]=(byte)i; if(sha1_32(buf)==-1396723495){break;} }
		for(i=-74;i<-57;i++){ buf[901]=(byte)i; if(sha1_32(buf)==1206469808){break;} }
		for(i=96;i<120;i++){ buf[902]=(byte)i; if(sha1_32(buf)==1641371531){break;} }
		for(i=-105;i<-92;i++){ buf[903]=(byte)i; if(sha1_32(buf)==716277785){break;} }
		for(i=38;i<58;i++){ buf[904]=(byte)i; if(sha1_32(buf)==367048168){break;} }
		for(i=55;i<60;i++){ buf[905]=(byte)i; if(sha1_32(buf)==2006939938){break;} }
		for(i=-100;i<-83;i++){ buf[906]=(byte)i; if(sha1_32(buf)==1589842304){break;} }
		for(i=80;i<100;i++){ buf[907]=(byte)i; if(sha1_32(buf)==1520588781){break;} }
		for(i=116;i<121;i++){ buf[908]=(byte)i; if(sha1_32(buf)==-1806664089){break;} }
		for(i=88;i<109;i++){ buf[909]=(byte)i; if(sha1_32(buf)==1470182813){break;} }
		for(i=70;i<93;i++){ buf[910]=(byte)i; if(sha1_32(buf)==-823891062){break;} }
		for(i=9;i<23;i++){ buf[911]=(byte)i; if(sha1_32(buf)==-451097533){break;} }
		for(i=111;i<128;i++){ buf[912]=(byte)i; if(sha1_32(buf)==772044547){break;} }
		for(i=118;i<128;i++){ buf[913]=(byte)i; if(sha1_32(buf)==-2141669688){break;} }
		for(i=-11;i<15;i++){ buf[914]=(byte)i; if(sha1_32(buf)==-1591049623){break;} }
		for(i=-127;i<-101;i++){ buf[915]=(byte)i; if(sha1_32(buf)==-1134793548){break;} }
		for(i=-80;i<-56;i++){ buf[916]=(byte)i; if(sha1_32(buf)==-452453626){break;} }
		for(i=-7;i<24;i++){ buf[917]=(byte)i; if(sha1_32(buf)==-950579524){break;} }
		for(i=92;i<97;i++){ buf[918]=(byte)i; if(sha1_32(buf)==-2136902284){break;} }
		for(i=-124;i<-109;i++){ buf[919]=(byte)i; if(sha1_32(buf)==609875581){break;} }
		for(i=38;i<51;i++){ buf[920]=(byte)i; if(sha1_32(buf)==90295640){break;} }
		for(i=-90;i<-66;i++){ buf[921]=(byte)i; if(sha1_32(buf)==1100124570){break;} }
		for(i=102;i<128;i++){ buf[922]=(byte)i; if(sha1_32(buf)==-164217700){break;} }
		for(i=23;i<30;i++){ buf[923]=(byte)i; if(sha1_32(buf)==-1351397134){break;} }
		for(i=-98;i<-79;i++){ buf[924]=(byte)i; if(sha1_32(buf)==-209606364){break;} }
		for(i=-82;i<-76;i++){ buf[925]=(byte)i; if(sha1_32(buf)==1072031135){break;} }
		for(i=-33;i<-14;i++){ buf[926]=(byte)i; if(sha1_32(buf)==-1103983889){break;} }
		for(i=-68;i<-42;i++){ buf[927]=(byte)i; if(sha1_32(buf)==-1516992648){break;} }
		for(i=4;i<30;i++){ buf[928]=(byte)i; if(sha1_32(buf)==-1036880442){break;} }
		for(i=-128;i<-123;i++){ buf[929]=(byte)i; if(sha1_32(buf)==-1213800929){break;} }
		for(i=15;i<32;i++){ buf[930]=(byte)i; if(sha1_32(buf)==-998682601){break;} }
		for(i=-93;i<-78;i++){ buf[931]=(byte)i; if(sha1_32(buf)==-30133841){break;} }
		for(i=92;i<108;i++){ buf[932]=(byte)i; if(sha1_32(buf)==-168137438){break;} }
		for(i=-22;i<-6;i++){ buf[933]=(byte)i; if(sha1_32(buf)==-1513747454){break;} }
		for(i=-11;i<12;i++){ buf[934]=(byte)i; if(sha1_32(buf)==1355259289){break;} }
		for(i=94;i<117;i++){ buf[935]=(byte)i; if(sha1_32(buf)==803942){break;} }
		for(i=-60;i<-52;i++){ buf[936]=(byte)i; if(sha1_32(buf)==-858552649){break;} }
		for(i=-119;i<-108;i++){ buf[937]=(byte)i; if(sha1_32(buf)==-2047816884){break;} }
		for(i=49;i<69;i++){ buf[938]=(byte)i; if(sha1_32(buf)==1048348373){break;} }
		for(i=58;i<70;i++){ buf[939]=(byte)i; if(sha1_32(buf)==-1200726248){break;} }
		for(i=-94;i<-77;i++){ buf[940]=(byte)i; if(sha1_32(buf)==-2086950017){break;} }
		for(i=33;i<43;i++){ buf[941]=(byte)i; if(sha1_32(buf)==-406367388){break;} }
		for(i=-6;i<17;i++){ buf[942]=(byte)i; if(sha1_32(buf)==2110760448){break;} }
		for(i=-31;i<-16;i++){ buf[943]=(byte)i; if(sha1_32(buf)==-424624193){break;} }
		for(i=41;i<51;i++){ buf[944]=(byte)i; if(sha1_32(buf)==-244843023){break;} }
		for(i=-55;i<-33;i++){ buf[945]=(byte)i; if(sha1_32(buf)==1873995064){break;} }
		for(i=107;i<126;i++){ buf[946]=(byte)i; if(sha1_32(buf)==-1427790056){break;} }
		for(i=-93;i<-73;i++){ buf[947]=(byte)i; if(sha1_32(buf)==-1291393808){break;} }
		for(i=-128;i<-107;i++){ buf[948]=(byte)i; if(sha1_32(buf)==-1168607604){break;} }
		for(i=31;i<51;i++){ buf[949]=(byte)i; if(sha1_32(buf)==-1662773412){break;} }
		for(i=-89;i<-77;i++){ buf[950]=(byte)i; if(sha1_32(buf)==-446843719){break;} }
		for(i=-64;i<-50;i++){ buf[951]=(byte)i; if(sha1_32(buf)==-913209768){break;} }
		for(i=10;i<26;i++){ buf[952]=(byte)i; if(sha1_32(buf)==1573709819){break;} }
		for(i=56;i<74;i++){ buf[953]=(byte)i; if(sha1_32(buf)==647409744){break;} }
		for(i=-128;i<-122;i++){ buf[954]=(byte)i; if(sha1_32(buf)==-349006057){break;} }
		for(i=-11;i<6;i++){ buf[955]=(byte)i; if(sha1_32(buf)==-2029846267){break;} }
		for(i=12;i<28;i++){ buf[956]=(byte)i; if(sha1_32(buf)==-1251961311){break;} }
		for(i=5;i<17;i++){ buf[957]=(byte)i; if(sha1_32(buf)==-505350412){break;} }
		for(i=21;i<38;i++){ buf[958]=(byte)i; if(sha1_32(buf)==-1113051444){break;} }
		for(i=27;i<45;i++){ buf[959]=(byte)i; if(sha1_32(buf)==-810077195){break;} }
		for(i=-128;i<-119;i++){ buf[960]=(byte)i; if(sha1_32(buf)==239253950){break;} }
		for(i=-55;i<-45;i++){ buf[961]=(byte)i; if(sha1_32(buf)==-174516877){break;} }
		for(i=107;i<128;i++){ buf[962]=(byte)i; if(sha1_32(buf)==1811675419){break;} }
		for(i=67;i<79;i++){ buf[963]=(byte)i; if(sha1_32(buf)==-994012182){break;} }
		for(i=-26;i<-4;i++){ buf[964]=(byte)i; if(sha1_32(buf)==906969897){break;} }
		for(i=67;i<80;i++){ buf[965]=(byte)i; if(sha1_32(buf)==-126311589){break;} }
		for(i=49;i<60;i++){ buf[966]=(byte)i; if(sha1_32(buf)==1866932538){break;} }
		for(i=106;i<123;i++){ buf[967]=(byte)i; if(sha1_32(buf)==-682600757){break;} }
		for(i=98;i<107;i++){ buf[968]=(byte)i; if(sha1_32(buf)==842465053){break;} }
		for(i=-113;i<-102;i++){ buf[969]=(byte)i; if(sha1_32(buf)==2122160249){break;} }
		for(i=104;i<124;i++){ buf[970]=(byte)i; if(sha1_32(buf)==2011713637){break;} }
		for(i=-114;i<-101;i++){ buf[971]=(byte)i; if(sha1_32(buf)==-151553875){break;} }
		for(i=-92;i<-71;i++){ buf[972]=(byte)i; if(sha1_32(buf)==-1771246729){break;} }
		for(i=114;i<128;i++){ buf[973]=(byte)i; if(sha1_32(buf)==61797777){break;} }
		for(i=115;i<128;i++){ buf[974]=(byte)i; if(sha1_32(buf)==1399474796){break;} }
		for(i=-15;i<2;i++){ buf[975]=(byte)i; if(sha1_32(buf)==-344328052){break;} }
		for(i=35;i<44;i++){ buf[976]=(byte)i; if(sha1_32(buf)==1316780472){break;} }
		for(i=5;i<22;i++){ buf[977]=(byte)i; if(sha1_32(buf)==2133187518){break;} }
		for(i=-122;i<-111;i++){ buf[978]=(byte)i; if(sha1_32(buf)==2075870637){break;} }
		for(i=-27;i<-6;i++){ buf[979]=(byte)i; if(sha1_32(buf)==-1179143963){break;} }
		for(i=51;i<61;i++){ buf[980]=(byte)i; if(sha1_32(buf)==-2571422){break;} }
		for(i=117;i<128;i++){ buf[981]=(byte)i; if(sha1_32(buf)==-485019014){break;} }
		for(i=-22;i<-13;i++){ buf[982]=(byte)i; if(sha1_32(buf)==-1752095425){break;} }
		for(i=11;i<26;i++){ buf[983]=(byte)i; if(sha1_32(buf)==373575109){break;} }
		for(i=80;i<100;i++){ buf[984]=(byte)i; if(sha1_32(buf)==-69137523){break;} }
		for(i=103;i<114;i++){ buf[985]=(byte)i; if(sha1_32(buf)==1895496920){break;} }
		for(i=-100;i<-75;i++){ buf[986]=(byte)i; if(sha1_32(buf)==-2121368417){break;} }
		for(i=-27;i<-18;i++){ buf[987]=(byte)i; if(sha1_32(buf)==1436931118){break;} }
		for(i=-17;i<-8;i++){ buf[988]=(byte)i; if(sha1_32(buf)==766657651){break;} }
		for(i=72;i<89;i++){ buf[989]=(byte)i; if(sha1_32(buf)==-526713552){break;} }
		for(i=48;i<72;i++){ buf[990]=(byte)i; if(sha1_32(buf)==-636650414){break;} }
		for(i=-57;i<-30;i++){ buf[991]=(byte)i; if(sha1_32(buf)==1605016978){break;} }
		for(i=-19;i<8;i++){ buf[992]=(byte)i; if(sha1_32(buf)==2096459586){break;} }
		for(i=-79;i<-64;i++){ buf[993]=(byte)i; if(sha1_32(buf)==-2132821133){break;} }
		for(i=-110;i<-87;i++){ buf[994]=(byte)i; if(sha1_32(buf)==416011278){break;} }
		for(i=-63;i<-55;i++){ buf[995]=(byte)i; if(sha1_32(buf)==-456494715){break;} }
		for(i=107;i<116;i++){ buf[996]=(byte)i; if(sha1_32(buf)==-1085385724){break;} }
		for(i=14;i<18;i++){ buf[997]=(byte)i; if(sha1_32(buf)==-793696139){break;} }
		for(i=21;i<40;i++){ buf[998]=(byte)i; if(sha1_32(buf)==329536764){break;} }
		for(i=-123;i<-100;i++){ buf[999]=(byte)i; if(sha1_32(buf)==-2021067584){break;} }
		for(i=12;i<27;i++){ buf[1000]=(byte)i; if(sha1_32(buf)==2076917657){break;} }
		for(i=55;i<67;i++){ buf[1001]=(byte)i; if(sha1_32(buf)==54950941){break;} }
		for(i=39;i<42;i++){ buf[1002]=(byte)i; if(sha1_32(buf)==-2023999205){break;} }
		for(i=26;i<40;i++){ buf[1003]=(byte)i; if(sha1_32(buf)==1695965088){break;} }
		for(i=-16;i<5;i++){ buf[1004]=(byte)i; if(sha1_32(buf)==586387073){break;} }
		for(i=23;i<43;i++){ buf[1005]=(byte)i; if(sha1_32(buf)==-1281068703){break;} }
		for(i=-69;i<-53;i++){ buf[1006]=(byte)i; if(sha1_32(buf)==-1386284622){break;} }
		for(i=61;i<71;i++){ buf[1007]=(byte)i; if(sha1_32(buf)==58503400){break;} }
		for(i=-58;i<-44;i++){ buf[1008]=(byte)i; if(sha1_32(buf)==2112468437){break;} }
		for(i=-52;i<-34;i++){ buf[1009]=(byte)i; if(sha1_32(buf)==-1881026728){break;} }
		for(i=5;i<22;i++){ buf[1010]=(byte)i; if(sha1_32(buf)==-758203247){break;} }
		for(i=-58;i<-51;i++){ buf[1011]=(byte)i; if(sha1_32(buf)==-220043698){break;} }
		for(i=42;i<67;i++){ buf[1012]=(byte)i; if(sha1_32(buf)==-374020569){break;} }
		for(i=84;i<101;i++){ buf[1013]=(byte)i; if(sha1_32(buf)==617653918){break;} }
		for(i=4;i<18;i++){ buf[1014]=(byte)i; if(sha1_32(buf)==-1100173625){break;} }
		for(i=-128;i<-112;i++){ buf[1015]=(byte)i; if(sha1_32(buf)==12997611){break;} }
		for(i=-107;i<-92;i++){ buf[1016]=(byte)i; if(sha1_32(buf)==715751057){break;} }
		for(i=-66;i<-62;i++){ buf[1017]=(byte)i; if(sha1_32(buf)==-554534174){break;} }
		for(i=-122;i<-98;i++){ buf[1018]=(byte)i; if(sha1_32(buf)==-459660999){break;} }
		for(i=-56;i<-41;i++){ buf[1019]=(byte)i; if(sha1_32(buf)==-1660084597){break;} }
		for(i=-98;i<-81;i++){ buf[1020]=(byte)i; if(sha1_32(buf)==-1221870669){break;} }
		for(i=-90;i<-61;i++){ buf[1021]=(byte)i; if(sha1_32(buf)==1843999073){break;} }
		for(i=28;i<52;i++){ buf[1022]=(byte)i; if(sha1_32(buf)==1032742729){break;} }
		for(i=43;i<54;i++){ buf[1023]=(byte)i; if(sha1_32(buf)==-1377756228){break;} }
		for(i=-21;i<-9;i++){ buf[1024]=(byte)i; if(sha1_32(buf)==1789866028){break;} }
		for(i=81;i<105;i++){ buf[1025]=(byte)i; if(sha1_32(buf)==-1920931990){break;} }
		for(i=-97;i<-85;i++){ buf[1026]=(byte)i; if(sha1_32(buf)==-1804689929){break;} }
		for(i=-102;i<-98;i++){ buf[1027]=(byte)i; if(sha1_32(buf)==-702480108){break;} }
		for(i=32;i<54;i++){ buf[1028]=(byte)i; if(sha1_32(buf)==1327602791){break;} }
		for(i=-5;i<7;i++){ buf[1029]=(byte)i; if(sha1_32(buf)==-2078800161){break;} }
		for(i=-45;i<-31;i++){ buf[1030]=(byte)i; if(sha1_32(buf)==-1186310197){break;} }
		for(i=-58;i<-45;i++){ buf[1031]=(byte)i; if(sha1_32(buf)==940828359){break;} }
		for(i=-119;i<-108;i++){ buf[1032]=(byte)i; if(sha1_32(buf)==-1135602504){break;} }
		for(i=3;i<22;i++){ buf[1033]=(byte)i; if(sha1_32(buf)==-458182696){break;} }
		for(i=53;i<63;i++){ buf[1034]=(byte)i; if(sha1_32(buf)==-382610962){break;} }
		for(i=111;i<127;i++){ buf[1035]=(byte)i; if(sha1_32(buf)==-1997820217){break;} }
		for(i=105;i<114;i++){ buf[1036]=(byte)i; if(sha1_32(buf)==445195201){break;} }
		for(i=10;i<27;i++){ buf[1037]=(byte)i; if(sha1_32(buf)==127295111){break;} }
		for(i=-41;i<-31;i++){ buf[1038]=(byte)i; if(sha1_32(buf)==-144293496){break;} }
		for(i=-123;i<-105;i++){ buf[1039]=(byte)i; if(sha1_32(buf)==-816737321){break;} }
		for(i=-17;i<5;i++){ buf[1040]=(byte)i; if(sha1_32(buf)==974015151){break;} }
		for(i=-60;i<-44;i++){ buf[1041]=(byte)i; if(sha1_32(buf)==-1035003260){break;} }
		for(i=110;i<128;i++){ buf[1042]=(byte)i; if(sha1_32(buf)==1630399212){break;} }
		for(i=-113;i<-83;i++){ buf[1043]=(byte)i; if(sha1_32(buf)==554500926){break;} }
		for(i=34;i<53;i++){ buf[1044]=(byte)i; if(sha1_32(buf)==-2031665340){break;} }
		for(i=-100;i<-90;i++){ buf[1045]=(byte)i; if(sha1_32(buf)==1701307204){break;} }
		for(i=-19;i<9;i++){ buf[1046]=(byte)i; if(sha1_32(buf)==1815815976){break;} }
		for(i=31;i<59;i++){ buf[1047]=(byte)i; if(sha1_32(buf)==-485188043){break;} }
		for(i=-14;i<-7;i++){ buf[1048]=(byte)i; if(sha1_32(buf)==2132066840){break;} }
		for(i=-120;i<-99;i++){ buf[1049]=(byte)i; if(sha1_32(buf)==-732692864){break;} }
		for(i=-115;i<-94;i++){ buf[1050]=(byte)i; if(sha1_32(buf)==1955932451){break;} }
		for(i=-105;i<-98;i++){ buf[1051]=(byte)i; if(sha1_32(buf)==-453027756){break;} }
		for(i=-26;i<-22;i++){ buf[1052]=(byte)i; if(sha1_32(buf)==1902752944){break;} }
		for(i=-53;i<-48;i++){ buf[1053]=(byte)i; if(sha1_32(buf)==701741483){break;} }
		for(i=-51;i<-46;i++){ buf[1054]=(byte)i; if(sha1_32(buf)==-584708883){break;} }
		for(i=-80;i<-67;i++){ buf[1055]=(byte)i; if(sha1_32(buf)==-2133203465){break;} }
		for(i=48;i<59;i++){ buf[1056]=(byte)i; if(sha1_32(buf)==1225066439){break;} }
		for(i=-3;i<17;i++){ buf[1057]=(byte)i; if(sha1_32(buf)==-1159966453){break;} }
		for(i=-88;i<-64;i++){ buf[1058]=(byte)i; if(sha1_32(buf)==671927504){break;} }
		for(i=-106;i<-82;i++){ buf[1059]=(byte)i; if(sha1_32(buf)==-1527083711){break;} }
		for(i=-121;i<-106;i++){ buf[1060]=(byte)i; if(sha1_32(buf)==1596293558){break;} }
		for(i=19;i<27;i++){ buf[1061]=(byte)i; if(sha1_32(buf)==-506112463){break;} }
		for(i=99;i<108;i++){ buf[1062]=(byte)i; if(sha1_32(buf)==472051520){break;} }
		for(i=99;i<116;i++){ buf[1063]=(byte)i; if(sha1_32(buf)==-2135091077){break;} }
		for(i=78;i<92;i++){ buf[1064]=(byte)i; if(sha1_32(buf)==757456516){break;} }
		for(i=29;i<36;i++){ buf[1065]=(byte)i; if(sha1_32(buf)==-887645319){break;} }
		for(i=-90;i<-70;i++){ buf[1066]=(byte)i; if(sha1_32(buf)==451652808){break;} }
		for(i=-52;i<-45;i++){ buf[1067]=(byte)i; if(sha1_32(buf)==-551181680){break;} }
		for(i=122;i<128;i++){ buf[1068]=(byte)i; if(sha1_32(buf)==37935592){break;} }
		for(i=67;i<75;i++){ buf[1069]=(byte)i; if(sha1_32(buf)==1983752237){break;} }
		for(i=39;i<56;i++){ buf[1070]=(byte)i; if(sha1_32(buf)==-1547526426){break;} }
		for(i=38;i<67;i++){ buf[1071]=(byte)i; if(sha1_32(buf)==106771571){break;} }
		for(i=-72;i<-55;i++){ buf[1072]=(byte)i; if(sha1_32(buf)==-116367884){break;} }
		for(i=-73;i<-53;i++){ buf[1073]=(byte)i; if(sha1_32(buf)==1557602911){break;} }
		for(i=32;i<44;i++){ buf[1074]=(byte)i; if(sha1_32(buf)==1152315506){break;} }
		for(i=59;i<69;i++){ buf[1075]=(byte)i; if(sha1_32(buf)==1233347202){break;} }
		for(i=-116;i<-104;i++){ buf[1076]=(byte)i; if(sha1_32(buf)==625420874){break;} }
		for(i=-109;i<-83;i++){ buf[1077]=(byte)i; if(sha1_32(buf)==373050933){break;} }
		for(i=97;i<111;i++){ buf[1078]=(byte)i; if(sha1_32(buf)==1028754314){break;} }
		for(i=15;i<29;i++){ buf[1079]=(byte)i; if(sha1_32(buf)==400683033){break;} }
		for(i=-115;i<-106;i++){ buf[1080]=(byte)i; if(sha1_32(buf)==2121970986){break;} }
		for(i=-20;i<-4;i++){ buf[1081]=(byte)i; if(sha1_32(buf)==-1683723887){break;} }
		for(i=93;i<99;i++){ buf[1082]=(byte)i; if(sha1_32(buf)==999018553){break;} }
		for(i=98;i<123;i++){ buf[1083]=(byte)i; if(sha1_32(buf)==440225806){break;} }
		for(i=2;i<13;i++){ buf[1084]=(byte)i; if(sha1_32(buf)==-810417303){break;} }
		for(i=-118;i<-91;i++){ buf[1085]=(byte)i; if(sha1_32(buf)==1156837822){break;} }
		for(i=45;i<61;i++){ buf[1086]=(byte)i; if(sha1_32(buf)==345805853){break;} }
		for(i=110;i<128;i++){ buf[1087]=(byte)i; if(sha1_32(buf)==1218582552){break;} }
		for(i=27;i<37;i++){ buf[1088]=(byte)i; if(sha1_32(buf)==1425309197){break;} }
		for(i=79;i<84;i++){ buf[1089]=(byte)i; if(sha1_32(buf)==-1373296636){break;} }
		for(i=-117;i<-104;i++){ buf[1090]=(byte)i; if(sha1_32(buf)==-1786556579){break;} }
		for(i=81;i<95;i++){ buf[1091]=(byte)i; if(sha1_32(buf)==1669778940){break;} }
		for(i=-89;i<-76;i++){ buf[1092]=(byte)i; if(sha1_32(buf)==-606075393){break;} }
		for(i=-63;i<-42;i++){ buf[1093]=(byte)i; if(sha1_32(buf)==1184694882){break;} }
		for(i=-64;i<-39;i++){ buf[1094]=(byte)i; if(sha1_32(buf)==1842339145){break;} }
		for(i=-15;i<-3;i++){ buf[1095]=(byte)i; if(sha1_32(buf)==216474750){break;} }
		for(i=35;i<55;i++){ buf[1096]=(byte)i; if(sha1_32(buf)==199905608){break;} }
		for(i=3;i<14;i++){ buf[1097]=(byte)i; if(sha1_32(buf)==-1440765999){break;} }
		for(i=-99;i<-80;i++){ buf[1098]=(byte)i; if(sha1_32(buf)==-308736040){break;} }
		for(i=-5;i<6;i++){ buf[1099]=(byte)i; if(sha1_32(buf)==-732553312){break;} }
		for(i=-118;i<-103;i++){ buf[1100]=(byte)i; if(sha1_32(buf)==-143490509){break;} }
		for(i=92;i<99;i++){ buf[1101]=(byte)i; if(sha1_32(buf)==195846857){break;} }
		for(i=111;i<128;i++){ buf[1102]=(byte)i; if(sha1_32(buf)==483892244){break;} }
		for(i=114;i<128;i++){ buf[1103]=(byte)i; if(sha1_32(buf)==1636666756){break;} }
		for(i=34;i<41;i++){ buf[1104]=(byte)i; if(sha1_32(buf)==1380800187){break;} }
		for(i=-35;i<-8;i++){ buf[1105]=(byte)i; if(sha1_32(buf)==486794867){break;} }
		for(i=118;i<128;i++){ buf[1106]=(byte)i; if(sha1_32(buf)==527887602){break;} }
		for(i=77;i<93;i++){ buf[1107]=(byte)i; if(sha1_32(buf)==-1663809588){break;} }
		for(i=111;i<128;i++){ buf[1108]=(byte)i; if(sha1_32(buf)==-37256084){break;} }
		for(i=-64;i<-55;i++){ buf[1109]=(byte)i; if(sha1_32(buf)==548887649){break;} }
		for(i=-86;i<-73;i++){ buf[1110]=(byte)i; if(sha1_32(buf)==-1876259447){break;} }
		for(i=-108;i<-90;i++){ buf[1111]=(byte)i; if(sha1_32(buf)==-416354857){break;} }
		for(i=73;i<92;i++){ buf[1112]=(byte)i; if(sha1_32(buf)==-1118664702){break;} }
		for(i=116;i<128;i++){ buf[1113]=(byte)i; if(sha1_32(buf)==-1570079711){break;} }
		for(i=90;i<99;i++){ buf[1114]=(byte)i; if(sha1_32(buf)==831532924){break;} }
		for(i=35;i<63;i++){ buf[1115]=(byte)i; if(sha1_32(buf)==1705712473){break;} }
		for(i=-97;i<-76;i++){ buf[1116]=(byte)i; if(sha1_32(buf)==991937071){break;} }
		for(i=-105;i<-86;i++){ buf[1117]=(byte)i; if(sha1_32(buf)==-1912618099){break;} }
		for(i=49;i<71;i++){ buf[1118]=(byte)i; if(sha1_32(buf)==-246422031){break;} }
		for(i=-108;i<-100;i++){ buf[1119]=(byte)i; if(sha1_32(buf)==-1368897207){break;} }
		for(i=1;i<13;i++){ buf[1120]=(byte)i; if(sha1_32(buf)==851188397){break;} }
		for(i=-88;i<-64;i++){ buf[1121]=(byte)i; if(sha1_32(buf)==-1614021521){break;} }
		for(i=116;i<128;i++){ buf[1122]=(byte)i; if(sha1_32(buf)==-1908647948){break;} }
		for(i=-68;i<-53;i++){ buf[1123]=(byte)i; if(sha1_32(buf)==52055654){break;} }
		for(i=111;i<120;i++){ buf[1124]=(byte)i; if(sha1_32(buf)==-796876735){break;} }
		for(i=-1;i<21;i++){ buf[1125]=(byte)i; if(sha1_32(buf)==-1787493668){break;} }
		for(i=58;i<80;i++){ buf[1126]=(byte)i; if(sha1_32(buf)==-240894962){break;} }
		for(i=-35;i<-24;i++){ buf[1127]=(byte)i; if(sha1_32(buf)==-1436721166){break;} }
		for(i=-19;i<5;i++){ buf[1128]=(byte)i; if(sha1_32(buf)==-1216202902){break;} }
		for(i=-34;i<-17;i++){ buf[1129]=(byte)i; if(sha1_32(buf)==1319263875){break;} }
		for(i=-96;i<-86;i++){ buf[1130]=(byte)i; if(sha1_32(buf)==1599571482){break;} }
		for(i=64;i<76;i++){ buf[1131]=(byte)i; if(sha1_32(buf)==-140180029){break;} }
		for(i=-6;i<5;i++){ buf[1132]=(byte)i; if(sha1_32(buf)==-749778879){break;} }
		for(i=-128;i<-113;i++){ buf[1133]=(byte)i; if(sha1_32(buf)==-93694797){break;} }
		for(i=56;i<63;i++){ buf[1134]=(byte)i; if(sha1_32(buf)==-1520814319){break;} }
		for(i=-118;i<-94;i++){ buf[1135]=(byte)i; if(sha1_32(buf)==-2135409968){break;} }
		for(i=13;i<32;i++){ buf[1136]=(byte)i; if(sha1_32(buf)==-1939548261){break;} }
		for(i=-12;i<15;i++){ buf[1137]=(byte)i; if(sha1_32(buf)==1898428570){break;} }
		for(i=-35;i<-14;i++){ buf[1138]=(byte)i; if(sha1_32(buf)==811722039){break;} }
		for(i=43;i<56;i++){ buf[1139]=(byte)i; if(sha1_32(buf)==1093190844){break;} }
		for(i=27;i<35;i++){ buf[1140]=(byte)i; if(sha1_32(buf)==-207667185){break;} }
		for(i=119;i<128;i++){ buf[1141]=(byte)i; if(sha1_32(buf)==-287879891){break;} }
		for(i=116;i<128;i++){ buf[1142]=(byte)i; if(sha1_32(buf)==210251638){break;} }
		for(i=71;i<83;i++){ buf[1143]=(byte)i; if(sha1_32(buf)==-1681001089){break;} }
		for(i=-35;i<-8;i++){ buf[1144]=(byte)i; if(sha1_32(buf)==175744147){break;} }
		for(i=68;i<97;i++){ buf[1145]=(byte)i; if(sha1_32(buf)==121361281){break;} }
		for(i=-22;i<-14;i++){ buf[1146]=(byte)i; if(sha1_32(buf)==560673204){break;} }
		for(i=53;i<68;i++){ buf[1147]=(byte)i; if(sha1_32(buf)==589048587){break;} }
		for(i=62;i<73;i++){ buf[1148]=(byte)i; if(sha1_32(buf)==-15337017){break;} }
		for(i=50;i<74;i++){ buf[1149]=(byte)i; if(sha1_32(buf)==1277340509){break;} }
		for(i=-65;i<-46;i++){ buf[1150]=(byte)i; if(sha1_32(buf)==2070151161){break;} }
		for(i=-67;i<-57;i++){ buf[1151]=(byte)i; if(sha1_32(buf)==-1832302380){break;} }
		for(i=38;i<57;i++){ buf[1152]=(byte)i; if(sha1_32(buf)==-1271043066){break;} }
		for(i=-39;i<-19;i++){ buf[1153]=(byte)i; if(sha1_32(buf)==-2071453101){break;} }
		for(i=73;i<84;i++){ buf[1154]=(byte)i; if(sha1_32(buf)==-1493932017){break;} }
		for(i=30;i<44;i++){ buf[1155]=(byte)i; if(sha1_32(buf)==-784235639){break;} }
		for(i=118;i<124;i++){ buf[1156]=(byte)i; if(sha1_32(buf)==-1559140308){break;} }
		for(i=-106;i<-96;i++){ buf[1157]=(byte)i; if(sha1_32(buf)==1356228596){break;} }
		for(i=41;i<68;i++){ buf[1158]=(byte)i; if(sha1_32(buf)==-1139307721){break;} }
		for(i=-25;i<-1;i++){ buf[1159]=(byte)i; if(sha1_32(buf)==-517069708){break;} }
		for(i=-124;i<-118;i++){ buf[1160]=(byte)i; if(sha1_32(buf)==1267696341){break;} }
		for(i=4;i<15;i++){ buf[1161]=(byte)i; if(sha1_32(buf)==202692895){break;} }
		for(i=-59;i<-34;i++){ buf[1162]=(byte)i; if(sha1_32(buf)==1280086799){break;} }
		for(i=-90;i<-78;i++){ buf[1163]=(byte)i; if(sha1_32(buf)==790275998){break;} }
		for(i=18;i<30;i++){ buf[1164]=(byte)i; if(sha1_32(buf)==85546947){break;} }
		for(i=-95;i<-79;i++){ buf[1165]=(byte)i; if(sha1_32(buf)==-1047172826){break;} }
		for(i=5;i<26;i++){ buf[1166]=(byte)i; if(sha1_32(buf)==-1683506125){break;} }
		for(i=-56;i<-43;i++){ buf[1167]=(byte)i; if(sha1_32(buf)==-1524439673){break;} }
		for(i=65;i<84;i++){ buf[1168]=(byte)i; if(sha1_32(buf)==-1947494372){break;} }
		for(i=-16;i<7;i++){ buf[1169]=(byte)i; if(sha1_32(buf)==568809652){break;} }
		for(i=-48;i<-39;i++){ buf[1170]=(byte)i; if(sha1_32(buf)==1024741383){break;} }
		for(i=110;i<123;i++){ buf[1171]=(byte)i; if(sha1_32(buf)==-1482416311){break;} }
		for(i=72;i<85;i++){ buf[1172]=(byte)i; if(sha1_32(buf)==715581148){break;} }
		for(i=-38;i<-13;i++){ buf[1173]=(byte)i; if(sha1_32(buf)==149439799){break;} }
		for(i=41;i<45;i++){ buf[1174]=(byte)i; if(sha1_32(buf)==-897220314){break;} }
		for(i=113;i<121;i++){ buf[1175]=(byte)i; if(sha1_32(buf)==-1566125684){break;} }
		for(i=-33;i<-25;i++){ buf[1176]=(byte)i; if(sha1_32(buf)==-1932440115){break;} }
		for(i=-81;i<-58;i++){ buf[1177]=(byte)i; if(sha1_32(buf)==1317825029){break;} }
		for(i=55;i<78;i++){ buf[1178]=(byte)i; if(sha1_32(buf)==-1337728998){break;} }
		for(i=79;i<89;i++){ buf[1179]=(byte)i; if(sha1_32(buf)==-759610691){break;} }
		for(i=-61;i<-43;i++){ buf[1180]=(byte)i; if(sha1_32(buf)==-61345413){break;} }
		for(i=-20;i<-16;i++){ buf[1181]=(byte)i; if(sha1_32(buf)==1343491969){break;} }
		for(i=-14;i<3;i++){ buf[1182]=(byte)i; if(sha1_32(buf)==1370524750){break;} }
		for(i=85;i<107;i++){ buf[1183]=(byte)i; if(sha1_32(buf)==-1499034041){break;} }
		for(i=-73;i<-57;i++){ buf[1184]=(byte)i; if(sha1_32(buf)==-1757755922){break;} }
		for(i=-57;i<-51;i++){ buf[1185]=(byte)i; if(sha1_32(buf)==-973433443){break;} }
		for(i=-70;i<-49;i++){ buf[1186]=(byte)i; if(sha1_32(buf)==-724880423){break;} }
		for(i=26;i<38;i++){ buf[1187]=(byte)i; if(sha1_32(buf)==936482311){break;} }
		for(i=-17;i<14;i++){ buf[1188]=(byte)i; if(sha1_32(buf)==-1546116454){break;} }
		for(i=51;i<65;i++){ buf[1189]=(byte)i; if(sha1_32(buf)==1710319){break;} }
		for(i=0;i<12;i++){ buf[1190]=(byte)i; if(sha1_32(buf)==-107502540){break;} }
		for(i=8;i<18;i++){ buf[1191]=(byte)i; if(sha1_32(buf)==-665078478){break;} }
		for(i=104;i<118;i++){ buf[1192]=(byte)i; if(sha1_32(buf)==-293155874){break;} }
		for(i=77;i<96;i++){ buf[1193]=(byte)i; if(sha1_32(buf)==2006456430){break;} }
		for(i=100;i<117;i++){ buf[1194]=(byte)i; if(sha1_32(buf)==-969190472){break;} }
		for(i=-88;i<-82;i++){ buf[1195]=(byte)i; if(sha1_32(buf)==-2058247425){break;} }
		for(i=90;i<106;i++){ buf[1196]=(byte)i; if(sha1_32(buf)==-1776713613){break;} }
		for(i=21;i<31;i++){ buf[1197]=(byte)i; if(sha1_32(buf)==55226256){break;} }
		for(i=-35;i<-25;i++){ buf[1198]=(byte)i; if(sha1_32(buf)==2135334685){break;} }
		for(i=102;i<123;i++){ buf[1199]=(byte)i; if(sha1_32(buf)==1985516762){break;} }
		for(i=-9;i<6;i++){ buf[1200]=(byte)i; if(sha1_32(buf)==-1354305653){break;} }
		for(i=-19;i<-15;i++){ buf[1201]=(byte)i; if(sha1_32(buf)==-1888253618){break;} }
		for(i=-35;i<-19;i++){ buf[1202]=(byte)i; if(sha1_32(buf)==391558227){break;} }
		for(i=-64;i<-53;i++){ buf[1203]=(byte)i; if(sha1_32(buf)==-1176380545){break;} }
		for(i=-85;i<-64;i++){ buf[1204]=(byte)i; if(sha1_32(buf)==2124166639){break;} }
		for(i=98;i<105;i++){ buf[1205]=(byte)i; if(sha1_32(buf)==-810863963){break;} }
		for(i=54;i<61;i++){ buf[1206]=(byte)i; if(sha1_32(buf)==-1477754313){break;} }
		for(i=-6;i<18;i++){ buf[1207]=(byte)i; if(sha1_32(buf)==664460027){break;} }
		for(i=-72;i<-53;i++){ buf[1208]=(byte)i; if(sha1_32(buf)==-712144498){break;} }
		for(i=-2;i<27;i++){ buf[1209]=(byte)i; if(sha1_32(buf)==48383205){break;} }
		for(i=-84;i<-61;i++){ buf[1210]=(byte)i; if(sha1_32(buf)==953787621){break;} }
		for(i=82;i<94;i++){ buf[1211]=(byte)i; if(sha1_32(buf)==-1201290785){break;} }
		for(i=69;i<79;i++){ buf[1212]=(byte)i; if(sha1_32(buf)==-1030920647){break;} }
		for(i=-13;i<5;i++){ buf[1213]=(byte)i; if(sha1_32(buf)==1828148162){break;} }
		for(i=-94;i<-80;i++){ buf[1214]=(byte)i; if(sha1_32(buf)==-6169919){break;} }
		for(i=116;i<128;i++){ buf[1215]=(byte)i; if(sha1_32(buf)==1381274222){break;} }
		for(i=-100;i<-91;i++){ buf[1216]=(byte)i; if(sha1_32(buf)==968571115){break;} }
		for(i=-79;i<-59;i++){ buf[1217]=(byte)i; if(sha1_32(buf)==-95232401){break;} }
		for(i=-124;i<-98;i++){ buf[1218]=(byte)i; if(sha1_32(buf)==-478312390){break;} }
		for(i=20;i<44;i++){ buf[1219]=(byte)i; if(sha1_32(buf)==-1556542139){break;} }
		for(i=21;i<25;i++){ buf[1220]=(byte)i; if(sha1_32(buf)==-1794097792){break;} }
		for(i=-128;i<-110;i++){ buf[1221]=(byte)i; if(sha1_32(buf)==-887106102){break;} }
		for(i=55;i<64;i++){ buf[1222]=(byte)i; if(sha1_32(buf)==799779397){break;} }
		for(i=53;i<81;i++){ buf[1223]=(byte)i; if(sha1_32(buf)==621826168){break;} }
		for(i=-125;i<-121;i++){ buf[1224]=(byte)i; if(sha1_32(buf)==-1193100738){break;} }
		for(i=-3;i<3;i++){ buf[1225]=(byte)i; if(sha1_32(buf)==1080629194){break;} }
		for(i=-56;i<-40;i++){ buf[1226]=(byte)i; if(sha1_32(buf)==-1025298667){break;} }
		for(i=-105;i<-98;i++){ buf[1227]=(byte)i; if(sha1_32(buf)==-1240776881){break;} }
		for(i=12;i<17;i++){ buf[1228]=(byte)i; if(sha1_32(buf)==1012663855){break;} }
		for(i=114;i<128;i++){ buf[1229]=(byte)i; if(sha1_32(buf)==-1038822516){break;} }
		for(i=2;i<24;i++){ buf[1230]=(byte)i; if(sha1_32(buf)==220888329){break;} }
		for(i=-29;i<-13;i++){ buf[1231]=(byte)i; if(sha1_32(buf)==1901285505){break;} }
		for(i=34;i<39;i++){ buf[1232]=(byte)i; if(sha1_32(buf)==1127236274){break;} }
		for(i=52;i<72;i++){ buf[1233]=(byte)i; if(sha1_32(buf)==-637637092){break;} }
		for(i=-35;i<-9;i++){ buf[1234]=(byte)i; if(sha1_32(buf)==-687776659){break;} }
		for(i=78;i<90;i++){ buf[1235]=(byte)i; if(sha1_32(buf)==-1776862587){break;} }
		for(i=-9;i<17;i++){ buf[1236]=(byte)i; if(sha1_32(buf)==1272586015){break;} }
		for(i=48;i<71;i++){ buf[1237]=(byte)i; if(sha1_32(buf)==-442040809){break;} }
		for(i=70;i<83;i++){ buf[1238]=(byte)i; if(sha1_32(buf)==-1887136659){break;} }
		for(i=-14;i<6;i++){ buf[1239]=(byte)i; if(sha1_32(buf)==-1574923576){break;} }
		for(i=-6;i<8;i++){ buf[1240]=(byte)i; if(sha1_32(buf)==-1318813826){break;} }
		for(i=-85;i<-76;i++){ buf[1241]=(byte)i; if(sha1_32(buf)==-1367436581){break;} }
		for(i=25;i<34;i++){ buf[1242]=(byte)i; if(sha1_32(buf)==1284388578){break;} }
		for(i=-71;i<-53;i++){ buf[1243]=(byte)i; if(sha1_32(buf)==621232352){break;} }
		for(i=80;i<99;i++){ buf[1244]=(byte)i; if(sha1_32(buf)==1414205879){break;} }
		for(i=38;i<63;i++){ buf[1245]=(byte)i; if(sha1_32(buf)==845054681){break;} }
		for(i=-119;i<-90;i++){ buf[1246]=(byte)i; if(sha1_32(buf)==1511173398){break;} }
		for(i=-60;i<-44;i++){ buf[1247]=(byte)i; if(sha1_32(buf)==255361230){break;} }
		for(i=2;i<3;i++){ buf[1248]=(byte)i; if(sha1_32(buf)==1133212088){break;} }
		for(i=-96;i<-82;i++){ buf[1249]=(byte)i; if(sha1_32(buf)==-156080286){break;} }
		for(i=-64;i<-46;i++){ buf[1250]=(byte)i; if(sha1_32(buf)==1186146161){break;} }
		for(i=-28;i<-11;i++){ buf[1251]=(byte)i; if(sha1_32(buf)==-538647577){break;} }
		for(i=112;i<119;i++){ buf[1252]=(byte)i; if(sha1_32(buf)==-472559982){break;} }
		return buf;
	}
}
